PROVABLY CORRECT SAFETY CRITICAL SOFTWARE

Publisher Website

1 January 1990

book chapter
Published by Elsevier

p. 13-18
https://doi.org/10.1016/b978-0-08-040953-5.50008-8

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

The laws of OCCAM programming
Theoretical Computer Science, 1988
Specification-oriented semantics for Communicating Processes
Acta Informatica, 1986
A calculus of total correctness for communicating processes
Science of Computer Programming, 1981