![](/img/cover-not-exists.png)
Program verification, defeasible reasoning, and two views of computer science
Timothy R. ColburnVolume:
1
Language:
english
Pages:
20
DOI:
10.1007/bf00360581
Date:
February, 1991
File:
PDF, 1.38 MB
english, 1991