User menu

Formal Specification: a Roadmap

Bibliographic reference van Lamsweerde, Axel. Formal Specification: a Roadmap. In: Anthony Finkelstein (Editor), The Future of Software Engineering, ACM Press  2000, p. 147 - 159
Permanent URL http://hdl.handle.net/2078.1/131424