BibTeX record conf/fm/Arthan91

download as .bib file

@inproceedings{DBLP:conf/fm/Arthan91,
  author    = {R. D. Arthan},
  title     = {On Formal Specification of a Proof Tool},
  booktitle = {{VDM} Europe {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {551},
  pages     = {356--370},
  publisher = {Springer},
  year      = {1991}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics