Visualisation of refinements
Data(s) |
01/01/2001
|
---|---|
Identificador | |
Idioma(s) |
eng |
Publicador |
Software Verification Research Centre, University of Queensland |
Palavras-Chave | #280302 Software Engineering #700199 Computer software and services not elsewhere classified #K |
Tipo |
Research Report |