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)