Publikationsansicht

Theorem proving languages for verification ⋆ (2008)

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.109.5354
Quelle	http://www.lix.polytechnique.fr/~jouannaud/articles/tplv-ea.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.43.9418, 10.1.1.79.727