( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK.

, , и . SecDev, стр. 1-2. IEEE, (2019)

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.

Claire Dross

Nicolas Dross

Thomas Droß

Astrid Dross

Gerd Droß

 

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

Practical Application of SPARK to OpenUxAS., , , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 751-761. Springer, (2019)Recursive Data Structures in SPARK., и . CAV (2), том 12225 из Lecture Notes in Computer Science, стр. 178-189. Springer, (2020)Verification of Programs with Pointers in SPARK., , , , и . ICFEM, том 12531 из Lecture Notes in Computer Science, стр. 55-72. Springer, (2020)Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK., , и . SecDev, стр. 1-2. IEEE, (2019)Auto-Active Proof of Red-Black Trees in SPARK., и . NFM, том 10227 из Lecture Notes in Computer Science, стр. 68-83. (2017)Co-Developing Programs and Their Proof of Correctness., , , и . Commun. ACM, 67 (3): 84-94 (марта 2024)Making Proofs of Floating-Point Programs Accessible to Regular Developers., и . VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 7-24. Springer, (2021)Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists., , , , и . FMTea, том 11758 из Lecture Notes in Computer Science, стр. 23-36. Springer, (2019)