Items where authors include "Wolff, Burkhart"

Article

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) (2019) Isabelle/UTP:Mechanised Theory Engineering for Unifying Theories of Programming. Archive of Formal Proofs. ISSN 2150-914x

Monograph

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) Isabelle/UTP: Mechanised Theory Engineering for the UTP. Working Paper. (Unpublished)

Proceedings Paper

Foster, Simon David orcid.org/0000-0002-9889-9514 and Wolff, Burkhart (2023) Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. In: The 27th Internation Conference on Engineering of Complex Computer Systems (ICECCS 2023). UNSPECIFIED. IEEE . (In Press)