DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Tim Denvir
Tim Denvir
Formal Methods Specification and Verification Guidebook for Software and Computer Systems
Computer Conservation Society
Fiendish Designs
Developing Verified Sequential Programs with Event-B
August 2014 FACS a C T S
BCS-FACS 7Th Refinement Workshop
Winter 1998 ISSN 1361-3103
FACS FACTS Newsletter We Present Announcements of Future Events of Commemoration
Preface to 2Nd Ed
A Bibliography of Books and Other Publications About the Ada Programming Language and Its History
Tum Technische Universität München Institut Für Informatik
Curriculum Vitae Tim Denvir
FME Minutes (54Th Meeting)
WORKSHOPS in COMPUTING Series Edited by C
Arxiv:2006.06327V3 [Cs.SE] 24 Jan 2021 Applications of Formal Methods; [WLBF09] Offers a Broader Survey
Symposium Guide V3.9
Strategic Term Rewriting and Its Application to a VDM-SL to SQL Conversion
Ken Robinson Had Passed Away
Top View
February 2002 ISSN 1361-3103
Software Engineering Education: the Rôle of Formal Specification And
Issue 2017-1 August 2017
Publications Books FME 94: Proceedings of the Second Formal Methods Europe Conference, Barcelona 1994
Formal Methods
Formal Methods Europe Minutes of the 22Nd Meeting Held at Daimlerchrysler Research and Technology, Berlin, 23 February 1999
A Bibliography of Publications of Jim Grundy