Author of the publication

A First Step in the Translation of Alloy to Coq.

, and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 455-469. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Strong Security Guarantees: From Alloy to Coq (Research Poster)., and . HPCS, page 1057-1058. IEEE, (2018)Experience Report: Teaching Code Analysis and Verification Using Frama-C., and . AppFM@FM, volume 349 of EPTCS, page 69-75. (2021)A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations., , and . HPCS, page 691-699. IEEE, (2018)A First Step in the Translation of Alloy to Coq., and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 455-469. Springer, (2019)