Confessions of a formal methodist
Contribuinte(s) |
Peter Lindsay |
---|---|
Data(s) |
01/01/2003
|
Identificador | |
Idioma(s) |
eng |
Publicador |
National Technical Committee on Safety Critical Systems & Software |
Palavras-Chave | #EX #280302 Software Engineering #700199 Computer software and services not elsewhere classified |
Tipo |
Conference Paper |