-
Selection by year
-
Selection by authors
-
Complete lists
Jeron-demoSTACS91
T. Jéron. Prototype of a verification tool. In STACS 91 (Tool Demonstration): Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, LNCS, Volume 480, Pages 322-333, February 1991.
Contact
Thierry Jéron http://www.irisa.fr/prive/jeron
BibTex Reference
@InProceedings{Jeron-demoSTACS91,
Author = {Jéron, T.},
Title = {Prototype of a verification tool},
BookTitle = {STACS 91 (Tool Demonstration): Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany},
Volume = {480},
Pages = {322--333},
Series = {LNCS},
Publisher = {Springer-Verlag},
Month = {February},
Year = {1991}
}
EndNote Reference [help]
Get EndNote Reference (.ref)