Publication View

Outline Theorem-prover based Testing with HOL-TestGen (2007)

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.2190
Source	http://www.brucker.ch/bibliography/download/2007/talk-brucker.ea-theorem-prover-2007-2x2.pdf
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type	text
Language	English
Relation	10.1.1.112.2989