BibTeX record conf/iceccs/ChinFG95

download as .bib file

@inproceedings{DBLP:conf/iceccs/ChinFG95,
  author       = {Shiu{-}Kai Chin and
                  John Faust and
                  Joseph Giordano},
  title        = {Integrating formal methods tools to support system design},
  booktitle    = {1st {IEEE} International Conference on Engineering of Complex Computer
                  Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
                  {USA}},
  pages        = {88},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ICECCS.1995.479310},
  doi          = {10.1109/ICECCS.1995.479310},
  timestamp    = {Fri, 24 Mar 2023 00:02:11 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/ChinFG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics