BibTeX record: conf/apsec/Lamsweerde00

download as .bib file

@inproceedings{DBLP:conf/apsec/Lamsweerde00,
  author    = {Axel van Lamsweerde},
  title     = {Building Formal Models for Software Requirements},
  booktitle = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
               December 2000, Singapore},
  year      = {2000},
  pages     = {134},
  crossref  = {DBLP:conf/apsec/2000},
  url       = {http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150134.pdf},
  timestamp = {Thu, 23 Oct 2014 19:17:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/Lamsweerde00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apsec/2000,
  title     = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
               December 2000, Singapore},
  year      = {2000},
  publisher = {{IEEE} Computer Society},
  isbn      = {0-7695-0915-0},
  timestamp = {Thu, 23 Oct 2014 19:17:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}