Research output per year
Research output per year
-
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F., 26 Jun 2020, (E-pub ahead of print) In: Science of Computer Programming. 197, 40 p., 102510.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, JAMES. C. P. & Zeyda, F., 8 Jan 2020, In: Theoretical Computer Science. 802, p. 105-140Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming
Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 11 Jun 2019, In: Archive of Formal Proofs. 168 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile