Formal specification: a roadmap

Axel van Lamsweerde. Formal specification: a roadmap. In ICSE. pages 147-159, 2000. [doi]

Abstract

Abstract is missing.