Mechanization of an oracle in a debugging system

Författare
Anneli Edman
Språk
Engelska
Förlag År Ort Om boken ISBN
1983 Sverige, Uppsala 8 sidor.