From post

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.

 

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

Using dafny to solve the VerifyThis 2021 challenges., , и . FTfJP@ECOOP, стр. 32-38. ACM, (2021)Machine-Assisted Proofs for Institutions in Coq., и . TASE, том 13299 из Lecture Notes in Computer Science, стр. 180-196. Springer, (2022)FRETting and Formal Modelling: A Mechanical Lung Ventilator., , , , и . ABZ, том 14759 из Lecture Notes in Computer Science, стр. 360-383. Springer, (2024)Formalizing the Institution for Event-B in the Coq Proof Assistant.. ABZ, том 12709 из Lecture Notes in Computer Science, стр. 162-166. Springer, (2021)