Liu97'

@inproceedings{DBLP:conf/re/Liu97,
  author    = {Shaoying Liu},
  title     = {SOFL: A Formal Engineering Methodology for Industrial Applications},
  booktitle = {RE},
  year      = {1997},
  pages     = {41},
  ee        = {http://computer.org/proceedings/re/7740/7740041b.pdf},
  crossref  = {DBLP:conf/re/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/re/1997,
  title     = {3rd IEEE International Symposium on Requirements Engineering
               (RE'97), January 5-8, 1997, Annapolis, MD, USA},
  booktitle = {RE},
  publisher = {IEEE Computer Society},
  year      = {1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}