BibTeX record conf/seke/GallegosOGRSV08

download as .bib file

@inproceedings{DBLP:conf/seke/GallegosOGRSV08,
  author    = {Irbis Gallegos and
               Omar Ochoa and
               Ann Q. Gates and
               Steve Roach and
               Salamah Salamah and
               Corina Vela},
  title     = {A Property Specification Tool for Generating Formal Specifications:
               Prospec 2.0},
  booktitle = {Proceedings of the Twentieth International Conference on Software
               Engineering {\&} Knowledge Engineering (SEKE'2008), San Francisco,
               CA, USA, July 1-3, 2008},
  pages     = {273--278},
  publisher = {Knowledge Systems Institute Graduate School},
  year      = {2008},
  timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl    = {https://dblp.org/rec/conf/seke/GallegosOGRSV08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics