BibTeX record conf/wift/HamiltonCKKTFSMSCM95

download as .bib file

@inproceedings{DBLP:conf/wift/HamiltonCKKTFSMSCM95,
  author       = {David Hamilton and
                  Richard Covington and
                  John Kelly and
                  Carron Kirkwood and
                  Muffy Thomas and
                  Alan R. Flora{-}Holmquist and
                  Mark G. Staskauskas and
                  Steven P. Miller and
                  Mandayam K. Srivas and
                  George Cleland and
                  Donald MacKenzie},
  title        = {Experiences in applying formal methods to the analysis of software
                  and system requirements},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {30--43},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515477},
  doi          = {10.1109/WIFT.1995.515477},
  timestamp    = {Thu, 23 Mar 2023 23:59:22 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/HamiltonCKKTFSMSCM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics