@inproceedings{ dblp4182519,
  title = {Introducing Formal Specification Methods in Industrial Practice},
  author = {Luciano Baresi and Alessandro Orso and Mauro Pezzè},
  author_short = {Baresi, L. and Orso, A. and Pezzè, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1997},
  key = {dblp4182519},
  id = {dblp4182519},
  biburl = {http://www.dblp.org/rec/bibtex/conf/icse/BaresiOP97},
  url = {http://doi.acm.org/10.1145/253228.253241},
  conference = {ICSE},
  pages = {56-66},
  text = {ICSE 1997:56-66},
  booktitle = {Proceedings of International Conference on Software Engineering (ICSE)}
}

{"_id":"RNkAKPN5RaYD53Qiv","bibbaseid":"baresi-orso-pezz-introducingformalspecificationmethodsinindustrialpractice-1997","downloads":0,"creationDate":"2015-08-08T08:46:12.687Z","title":"Introducing Formal Specification Methods in Industrial Practice","author_short":["Baresi, L.","Orso, A.","Pezzè, M."],"year":1997,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icse/BaresiOP97","bibdata":{"title":"Introducing Formal Specification Methods in Industrial Practice","author":["Luciano Baresi","Alessandro Orso","Mauro Pezzè"],"author_short":["Baresi, L.","Orso, A.","Pezzè, M."],"bibtype":"inproceedings","type":"inproceedings","year":"1997","key":"dblp4182519","id":"dblp4182519","biburl":"http://www.dblp.org/rec/bibtex/conf/icse/BaresiOP97","url":"http://doi.acm.org/10.1145/253228.253241","conference":"ICSE","pages":"56-66","text":"ICSE 1997:56-66","booktitle":"Proceedings of International Conference on Software Engineering (ICSE)","bibtex":"@inproceedings{ dblp4182519,\n title = {Introducing Formal Specification Methods in Industrial Practice},\n author = {Luciano Baresi and Alessandro Orso and Mauro Pezzè},\n author_short = {Baresi, L. and Orso, A. and Pezzè, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1997},\n key = {dblp4182519},\n id = {dblp4182519},\n biburl = {http://www.dblp.org/rec/bibtex/conf/icse/BaresiOP97},\n url = {http://doi.acm.org/10.1145/253228.253241},\n conference = {ICSE},\n pages = {56-66},\n text = {ICSE 1997:56-66},\n booktitle = {Proceedings of International Conference on Software Engineering (ICSE)}\n}","bibbaseid":"baresi-orso-pezz-introducingformalspecificationmethodsinindustrialpractice-1997","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/253228.253241"},"downloads":0},"search_terms":["introducing","formal","specification","methods","industrial","practice","baresi","orso","pezzè"],"keywords":[],"authorIDs":[],"dataSources":["2S5QPdjC6k3R5DhWM"]}