Lamsweerde00a'

BibTeX

@inproceedings{DBLP:conf/icse/Lamsweerde00a,
  author    = {Axel van Lamsweerde},
  title     = {Formal specification: a roadmap},
  booktitle = {ICSE - Future of SE Track},
  year      = {2000},
  pages     = {147-159},
  ee        = {http://doi.acm.org/10.1145/336512.336546},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}