DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Tom Maibaum
Tom Maibaum
Journal of Applied Logic
Fiendish Designs
PDF (Dissertation.Pdf)
On a New Notion of Partial Refinement
Lecture Notes in Computer Science 5014 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
Specifications for Intelligent Software Synthesis
FM'99 - Formal Methods
On Software Certification: We Need Product-Focused Approaches
Self-Enforcing Automatic Rational Contracts Between Computers
Search-Based Model Transformations
Foundations of Algebraic Specification and Formal Software Development
Full List of DIRC Publications
Verification of Concurrent Programs with Chalice
Computing Science
From LOTOS to LNT Hubert Garavel, Frédéric Lang, Wendelin Serwe
Search-Based Model Transformations
A Simulation Framework for the Validation of Event-B Specifications Faqing Yang
IBM Centers for Advanced Studies : CASCON
Top View
Arxiv:1912.13308V1 [Cs.SE] 31 Dec 2019
Tudom´Anyr´Ol Egyes Sz´Am Els˝O Szem´Elyben
Modeling Time in Computing: a Taxonomy and a Comparative Survey
A Graph Transformation Approach to Introducing Aspects Into Software Architectures
Formal Framework for Modelling and Verifying Globally Asynchronous
United Nations University United Nations University
Chapter 5 Theories
March 2005 a C T S
FACS FACTS Newsletter
Download the Book Here
Deductive Software Verification
Formal Methods
1 Dec 2011 Domain Theory and the Logic of Observable Properties