A systematic approach to abstract interpretation of logic programs

Författare
Ulf Nilsson
(Ulf Nilsson.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Univ. 1989 Sverige, Linköping 80 sidor. ill.