@inproceedings{DBLP:conf/icfem/BenduhnTSS17,
  author       = {Fabian Benduhn and
                  Thomas Th{\"{u}}m and
                  Ina Schaefer and
                  Gunter Saake},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Modularization of Refinement Steps for Agile Formal Methods},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {19--35},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_2},
  doi          = {10.1007/978-3-319-68690-5\_2},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/BenduhnTSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"4LZpgnRuYSivnrgHs","bibbaseid":"benduhn-thm-schaefer-saake-modularizationofrefinementstepsforagileformalmethods-2017","author_short":["Benduhn, F.","Thüm, T.","Schaefer, I.","Saake, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Fabian"],"propositions":[],"lastnames":["Benduhn"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Thüm"],"suffixes":[]},{"firstnames":["Ina"],"propositions":[],"lastnames":["Schaefer"],"suffixes":[]},{"firstnames":["Gunter"],"propositions":[],"lastnames":["Saake"],"suffixes":[]}],"editor":[{"firstnames":["Zhenhua"],"propositions":[],"lastnames":["Duan"],"suffixes":[]},{"firstnames":["Luke"],"propositions":[],"lastnames":["Ong"],"suffixes":[]}],"title":"Modularization of Refinement Steps for Agile Formal Methods","booktitle":"Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10610","pages":"19–35","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-68690-5\\_2","doi":"10.1007/978-3-319-68690-5_2","timestamp":"Tue, 14 May 2019 10:00:50 +0200","biburl":"https://dblp.org/rec/conf/icfem/BenduhnTSS17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icfem/BenduhnTSS17,\n author = {Fabian Benduhn and\n Thomas Th{\\\"{u}}m and\n Ina Schaefer and\n Gunter Saake},\n editor = {Zhenhua Duan and\n Luke Ong},\n title = {Modularization of Refinement Steps for Agile Formal Methods},\n booktitle = {Formal Methods and Software Engineering - 19th International Conference\n on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November\n 13-17, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10610},\n pages = {19--35},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-68690-5\\_2},\n doi = {10.1007/978-3-319-68690-5\\_2},\n timestamp = {Tue, 14 May 2019 10:00:50 +0200},\n biburl = {https://dblp.org/rec/conf/icfem/BenduhnTSS17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Benduhn, F.","Thüm, T.","Schaefer, I.","Saake, G."],"editor_short":["Duan, Z.","Ong, L."],"key":"DBLP:conf/icfem/BenduhnTSS17","id":"DBLP:conf/icfem/BenduhnTSS17","bibbaseid":"benduhn-thm-schaefer-saake-modularizationofrefinementstepsforagileformalmethods-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-68690-5\\_2"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/03/4484.bib","dataSources":["NvDEoQDuau7xD4K6P"],"keywords":[],"search_terms":["modularization","refinement","steps","agile","formal","methods","benduhn","thüm","schaefer","saake"],"title":"Modularization of Refinement Steps for Agile Formal Methods","year":2017}