Items where authors include "Freitas, Leo"

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Article | Proceedings Paper
Number of items: 3.

Article

Freitas, Leo and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2007) FDR Explorer. Electronic Notes in Theoretical Computer Science. pp. 19-34.

Proceedings Paper

Zeyda, Frank, Foster, Simon David orcid.org/0000-0002-9889-9514 and Freitas, Leo (2016) An Axiomatic Value Model for Isabelle/UTP. In: 6th International Symposium on Unifying Theories of Programming. 6th International Symposium on Unifying Theories of Programming, 04-05 Jun 2016. , ISL , pp. 1-20. (In Press)

Freitas, Leo, Baxter, James, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (1 more author) (2016) Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. In: Integrated Formal Methods:12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 63-78.

This list was generated on Sat Apr 13 16:33:45 2024 BST.