Kim Guldstrand Larsen
Kim Guldstrand Larsen
3 ספרים במאגר
ספרים
Computer aided verificationKim Guldstrand Larsen
Computer aided verification
Kim Guldstrand Larsen · 1992
Formal Methods for Industrial Critical SystemsKim Guldstrand Larsen
Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen · 2019
Dependable Software Engineering. Theories, Tools, and ApplicationsKim Guldstrand Larsen
Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen · 2017
ספרים משותפים ואוספים
ספרים שבהם Kim Guldstrand Larsen מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Verification, Model Checking, and Abstract InterpretationDeepak D'Souza
Verification, Model Checking, and Abstract Interpretation
Deepak D'Souza · 2014
Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote · 2021