Contextual and data refinement for the refinement calculus for logic programs
| Data(s) |
01/01/2002
|
|---|---|
| Identificador | |
| Idioma(s) |
eng |
| Publicador |
The University of Queensland, School of Information Technology and Electrical Engineering |
| Palavras-Chave | #Programming languages (electronic computers) #Logic, symbolic and mathematical #Calculus #L #280302 Software Engineering #700199 Computer software and services not elsewhere classified |
| Tipo |
Thesis |
