Author of the publication

Verified Software Grand Challenge.

. FM, volume 4085 of Lecture Notes in Computer Science, page 617-617. Springer, (2006)

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

FDR Explorer, and . Electron. Notes Theor. Comput. Sci., (2007)A Manifesto for Applicable Formal Methods., , and . CoRR, (2021)Formally Verified Animation for RoboChart using Interaction Trees., , and . CoRR, (2023)State of the Art Report: Verified Computation., , , , , , , , , and 1 other author(s). CoRR, (2023)Unifying theories of reactive design contracts., , , , and . Theor. Comput. Sci., (2020)UTP, Circus, and Isabelle., , , , , and . Theories of Programming and Formal Methods, volume 14080 of Lecture Notes in Computer Science, page 19-51. Springer, (2023)Hoare and He's Unifying Theories of Programming.. Theories of Programming, volume 39 of ACM Books, ACM / Morgan & Claypool, (2021)Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving., , and . CoRR, (2023)Formalising Flash Memory: First Steps., and . ICECCS, page 251-260. IEEE Computer Society, (2007)Verified Software Grand Challenge.. FM, volume 4085 of Lecture Notes in Computer Science, page 617-617. Springer, (2006)