Baar, T., & Staroletov, S. (2018). 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, 2018.
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, 2018.
Warning: These citations may not always be 100% accurate.