![](/img/cover-not-exists.png)
A framework for testing first-order logic axioms in program verification
Ki Yung Ahn, Ewen DenneyVolume:
21
Language:
english
DOI:
10.1007/s11219-011-9168-1
Date:
March, 2013
File:
PDF, 3.49 MB
english, 2013