BibTeX record conf/larch/Voisin92

download as .bib file

@inproceedings{DBLP:conf/larch/Voisin92,
  author       = {Fr{\'{e}}d{\'{e}}ric Voisin},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {A New Front-End for the Larch Prover},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {282--296},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 11:29:44 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/Voisin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics