( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report).

, , , , и . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Christian Christian

Christian Winter

Gold-katalysierte Cycloisomerisierung funktionalisierter Allene und Anwendung in der Naturstoffsynthese. TU Dortmund, (2009)

Christian Helbig

Synthese und Charakterisierung von metallorganischen Bronzen. Uni Augsburg, (2009)

Christian Schüller

Automatisierte Feedbackgenerierung in der benutzerzentrierten Softwareentwicklung am Beispiel mobiler Anwendungen. TU München, (2009)

Christian Döring

Die Expression der E3 Ligasen Murf - 1 und MafBx nach Induktion einer Herzinsuffizienz, Einfluss von körperlichem Training. Uni Leipzig, (2009)
 

Другие публикации лиц с тем же именем

Deductive Verification Based Abstraction for Software Model Checking., , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 7-28. Springer, (2022)Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements., , , и . QRS Companion, стр. 28-35. IEEE, (2019)Automatic Program Instrumentation for Automatic Verification., , , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 281-304. Springer, (2023)Contract Based Embedded Software Design., и . TASE, том 13931 из Lecture Notes in Computer Science, стр. 77-94. Springer, (2023)Constraint-Based Contract Inference for Deductive Verification., , , и . 20 Years of KeY, том 12345 из Lecture Notes in Computer Science, Springer, (2020)Alice in Wineland: A Fairy Tale with Contracts., , и . The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 229-242. Springer, (2022)Formal Verification in Automotive Industry: Enablers and Obstacles., , , , и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 139-158. Springer, (2018)Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report., , , и . FMICS-AVoCS, том 10471 из Lecture Notes in Computer Science, стр. 3-18. Springer, (2017)An Abstract Contract Theory for Programs with Procedures., и . FASE, том 12649 из Lecture Notes in Computer Science, стр. 152-171. Springer, (2021)Principles of Contract Languages (Dagstuhl Seminar 22451)., , , , и . Dagstuhl Reports, 12 (11): 1-27 (ноября 2022)