@inproceedings{conf/zum/MiarkaBD00,
  added-at = {2020-06-15T00:00:00.000+0200},
  author = {Miarka, Ralph and Boiten, Eerke A. and Derrick, John},
  biburl = {https://www.bibsonomy.org/bibtex/22af44a8b8d00e7930c6348977fb37e49/dblp},
  booktitle = {ZB},
  crossref = {conf/zum/2000},
  editor = {Bowen, Jonathan P. and Dunne, Steve and Galloway, Andy and King, Steve},
  ee = {https://doi.org/10.1007/3-540-44525-0_17},
  interhash = {865d090e3fafd8194afb1f59c1417c6a},
  intrahash = {2af44a8b8d00e7930c6348977fb37e49},
  isbn = {3-540-67944-8},
  keywords = {dblp},
  pages = {286-303},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2020-06-16T12:39:12.000+0200},
  title = {Guards, Preconditions, and Refinement in Z.},
  url = {http://dblp.uni-trier.de/db/conf/zum/zb2000.html#MiarkaBD00},
  volume = 1878,
  year = 2000
}

{"_id":"d6sjA3XtusDcrcsLy","bibbaseid":"miarka-boiten-derrick-guardspreconditionsandrefinementinz-2000","authorIDs":[],"author_short":["Miarka, R.","Boiten, E. A.","Derrick, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-06-15T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Miarka"],"firstnames":["Ralph"],"suffixes":[]},{"propositions":[],"lastnames":["Boiten"],"firstnames":["Eerke","A."],"suffixes":[]},{"propositions":[],"lastnames":["Derrick"],"firstnames":["John"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/22af44a8b8d00e7930c6348977fb37e49/dblp","booktitle":"ZB","crossref":"conf/zum/2000","editor":[{"propositions":[],"lastnames":["Bowen"],"firstnames":["Jonathan","P."],"suffixes":[]},{"propositions":[],"lastnames":["Dunne"],"firstnames":["Steve"],"suffixes":[]},{"propositions":[],"lastnames":["Galloway"],"firstnames":["Andy"],"suffixes":[]},{"propositions":[],"lastnames":["King"],"firstnames":["Steve"],"suffixes":[]}],"ee":"https://doi.org/10.1007/3-540-44525-0_17","interhash":"865d090e3fafd8194afb1f59c1417c6a","intrahash":"2af44a8b8d00e7930c6348977fb37e49","isbn":"3-540-67944-8","keywords":"dblp","pages":"286-303","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2020-06-16T12:39:12.000+0200","title":"Guards, Preconditions, and Refinement in Z.","url":"http://dblp.uni-trier.de/db/conf/zum/zb2000.html#MiarkaBD00","volume":"1878","year":"2000","bibtex":"@inproceedings{conf/zum/MiarkaBD00,\n added-at = {2020-06-15T00:00:00.000+0200},\n author = {Miarka, Ralph and Boiten, Eerke A. and Derrick, John},\n biburl = {https://www.bibsonomy.org/bibtex/22af44a8b8d00e7930c6348977fb37e49/dblp},\n booktitle = {ZB},\n crossref = {conf/zum/2000},\n editor = {Bowen, Jonathan P. and Dunne, Steve and Galloway, Andy and King, Steve},\n ee = {https://doi.org/10.1007/3-540-44525-0_17},\n interhash = {865d090e3fafd8194afb1f59c1417c6a},\n intrahash = {2af44a8b8d00e7930c6348977fb37e49},\n isbn = {3-540-67944-8},\n keywords = {dblp},\n pages = {286-303},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2020-06-16T12:39:12.000+0200},\n title = {Guards, Preconditions, and Refinement in Z.},\n url = {http://dblp.uni-trier.de/db/conf/zum/zb2000.html#MiarkaBD00},\n volume = 1878,\n year = 2000\n}\n\n","author_short":["Miarka, R.","Boiten, E. A.","Derrick, J."],"editor_short":["Bowen, J. P.","Dunne, S.","Galloway, A.","King, S."],"key":"conf/zum/MiarkaBD00","id":"conf/zum/MiarkaBD00","bibbaseid":"miarka-boiten-derrick-guardspreconditionsandrefinementinz-2000","role":"author","urls":{"Link":"https://doi.org/10.1007/3-540-44525-0_17","Paper":"http://dblp.uni-trier.de/db/conf/zum/zb2000.html#MiarkaBD00"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/John ?items=1000","creationDate":"2020-06-25T10:18:54.412Z","downloads":0,"keywords":["dblp"],"search_terms":["guards","preconditions","refinement","miarka","boiten","derrick"],"title":"Guards, Preconditions, and Refinement in Z.","year":2000,"dataSources":["7pwnyondczync5QcQ"]}