Formal Derivation of Strongly Correct Concurrent Programs

Axel van Lamsweerde, Michel Sintzoff. Formal Derivation of Strongly Correct Concurrent Programs. Acta Informatica, 12:1-31, 1979.

Abstract

Abstract is missing.