Baar, T., & Staroletov, S. A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier. Yaroslavl State University.
Chicago Style (17th ed.) CitationBaar, Thomas, and Sergey Staroletov. A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier. Yaroslavl State University.
MLA (9th ed.) CitationBaar, Thomas, and Sergey Staroletov. A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier. Yaroslavl State University.
Warning: These citations may not always be 100% accurate.