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 |