User menu

The KAOS Project: Knowledge Acquisition in Automated Specification of Software

Bibliographic reference van Lamsweerde, Axel ; Dardenne, Anne ; Delcourt, Bruno ; Dubisy, Françoise ; van Lamsweerde, Axel. The KAOS Project: Knowledge Acquisition in Automated Specification of Software.Proceedings of the AAAI Spring Symposium Series (Stanford University, du 26/03/1991 au 28/01/1991). In: American Association for Artificial Intelligence, American Association for Artificial Intelligence1991, p. 59-62
Permanent URL http://hdl.handle.net/2078.1/131906