@inproceedings{DBLP:conf/fmco/Sekerinski02,
  author    = {Emil Sekerinski},
  title     = {Concurrent Object-Oriented Programs: From Specification to Code},
  booktitle = {Formal Methods for Components and Objects, First International Symposium,
               {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
               Lectures},
  pages     = {403--423},
  year      = {2002},
  crossref  = {DBLP:conf/fmco/2002},
  url       = {https://doi.org/10.1007/978-3-540-39656-7\_17},
  doi       = {10.1007/978-3-540-39656-7\_17},
  timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/Sekerinski02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"gEcq6zTFkR4zstdAB","bibbaseid":"sekerinski-concurrentobjectorientedprogramsfromspecificationtocode-2002","downloads":0,"creationDate":"2019-02-02T15:48:53.595Z","title":"Concurrent Object-Oriented Programs: From Specification to Code","author_short":["Sekerinski, E."],"year":2002,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Sekerinski:Emil","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Emil"],"propositions":[],"lastnames":["Sekerinski"],"suffixes":[]}],"title":"Concurrent Object-Oriented Programs: From Specification to Code","booktitle":"Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures","pages":"403–423","year":"2002","crossref":"DBLP:conf/fmco/2002","url":"https://doi.org/10.1007/978-3-540-39656-7_17","doi":"10.1007/978-3-540-39656-7_17","timestamp":"Sun, 02 Jun 2019 21:14:42 +0200","biburl":"https://dblp.org/rec/bib/conf/fmco/Sekerinski02","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fmco/Sekerinski02,\n author = {Emil Sekerinski},\n title = {Concurrent Object-Oriented Programs: From Specification to Code},\n booktitle = {Formal Methods for Components and Objects, First International Symposium,\n {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised\n Lectures},\n pages = {403--423},\n year = {2002},\n crossref = {DBLP:conf/fmco/2002},\n url = {https://doi.org/10.1007/978-3-540-39656-7\\_17},\n doi = {10.1007/978-3-540-39656-7\\_17},\n timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},\n biburl = {https://dblp.org/rec/bib/conf/fmco/Sekerinski02},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Sekerinski, E."],"key":"DBLP:conf/fmco/Sekerinski02","id":"DBLP:conf/fmco/Sekerinski02","bibbaseid":"sekerinski-concurrentobjectorientedprogramsfromspecificationtocode-2002","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-39656-7_17"},"downloads":0},"search_terms":["concurrent","object","oriented","programs","specification","code","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b"]}