BibTeX record conf/ifm/ReedSG99

download as .bib file

@inproceedings{DBLP:conf/ifm/ReedSG99,
  author    = {Joy N. Reed and
               J. E. Sinclair and
               F. Guigand},
  title     = {Deductive Reasoning versus Model Checking: Two Formal Approaches for
               System Development},
  booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
               on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages     = {375--394},
  year      = {1999},
  crossref  = {DBLP:conf/ifm/1999},
  timestamp = {Sat, 09 Mar 2013 16:55:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/ReedSG99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/1999,
  editor    = {Keijiro Araki and
               Andy Galloway and
               Kenji Taguchi},
  title     = {Integrated Formal Methods, Proceedings of the 1st International Conference
               on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  publisher = {Springer},
  year      = {1999},
  isbn      = {1-85233-107-0},
  timestamp = {Sat, 09 Mar 2013 16:55:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier