DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Eric Hehner
Eric Hehner
Proofs for the Working Engineer
Fiendish Designs
Oral History of Sir Antony Hoare
Roadmap for Enhanced Languages and Methods to Aid Verification Gary T
Application of Link Integrity Techniques from Hypermedia to the Semantic Web
Conference Program
Retrospective and Prospective for Unifying Theories of Programming
Calendar 2008-2009
University of Southampton Research Repository Eprints Soton
Deductive Software Verification— the Key Book
Funding a Revolution: Government Support for Computing Research
Formal Methods of Programming
COMPUTATION TOOLS 2011, the Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
Full List of DIRC Publications
Specified Blocks Position Paper for IFIP Working Conference on Verified Software: Theories, Tools, Experiments Zurich, Switzerland 2005 October 10 to 14
Periodical Guide for Computerists ·
Formal Methods of Software Design, Eric Hehner, Segment 4 Page out of 1 5 [1] We're Looking at the Most Basic Data Structures
EPTCS 55 Refinement Workshop
Top View
Curriculum Vitae
Structured Derivations: a Unified Proof Style for Teaching Mathematics Ralph-Johan Back
A Theory of Lazy Imperative Timing
Observations on the Halting Problem Eric C.R
What Is a Procedure?
Profile of IFIP Working Group
Chapter 5 Theories
THE SITUATION CALCULUS and HEHNER's PROGRAMMING THEORY: HARMONIZATION THROUGH REIFICATION Patrick Prémont a Thesis Submit Ted I
FACS FACTS Newsletter
Deductive Software Verification— the Key Book
Formal Methods of Software Design, Eric Hehner, Segment 8 Page 1 5
Deductive Software Verification
Specified Blocks Position Paper for IFIP Working Conference on Verified Software: Theories, Tools, Experiments Zurich, Switzerland 2005 October 10 to 14
Refinement Calculus