T. Jéron, Prototype of a verification tool, in STACS 91 (Tool Demonstration): Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, Volume 480, Pages 322-333, February 1991.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Thierry Jéron
Thierry.Jeron@irisa.fr

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)

This page has been automatically generated using the bib2html program.