Publikationsansicht

PVS#: Streamlined Tacticals for PVS 1 (2008)

Abstract

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.123.9960
Quelle	http://www.lix.polytechnique.fr/~fkirchner/data/strategies2007.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	Key words, Monads, Proof languages, Tactics, Tacticals, Strategies, PVS
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.100.9674, 10.1.1.103.58, 10.1.1.9.2805