{"_id":{"_str":"53f4713c3d9d602c1a000f8a"},"__v":0,"authorIDs":[],"author_short":["Hanazumi, S.","de<nbsp>Melo","Vieira, A.<nbsp>C."],"bibbaseid":"hanazumi-denbspmelo-vieira-coordinatingexceptionsofjavasystemsimplementationandformalverification-2012","bibdata":{"html":"","downloads":0,"keyword":["dblp"],"urls":{"Paper":"http://dblp.uni-trier.de/db/conf/quatic/quatic2012.html#HanazumiM12","Link":"http://dx.doi.org/10.1109/QUATIC.2012.26"},"role":"author","bibbaseid":"hanazumi-denbspmelo-vieira-coordinatingexceptionsofjavasystemsimplementationandformalverification-2012","year":"2012","url":"http://dblp.uni-trier.de/db/conf/quatic/quatic2012.html#HanazumiM12","type":"inproceedings","title":"Coordinating Exceptions of Java Systems: Implementation and Formal Verification.","publisher":"IEEE Computer Society","pages":"108-113","keywords":"dblp","key":"conf/quatic/HanazumiM12","isbn":"978-0-7695-4777-0","intrahash":"bfbfd206af8bbf014587b988d9f80d81","interhash":"8c26d6208a5eb07fcd7b4b4286a9573c","id":"conf/quatic/HanazumiM12","ee":"http://dx.doi.org/10.1109/QUATIC.2012.26","editor_short":["Faria","Pascoal, J.","da<nbsp>Silva","Rodrigues, A.","Machado","Jorge, R."],"editor":["Faria","Pascoal, João","da Silva","Rodrigues, Alberto","Machado","Jorge, Ricardo"],"crossref":"conf/quatic/2012","booktitle":"QUATIC","biburl":"http://www.bibsonomy.org/bibtex/2bfbfd206af8bbf014587b988d9f80d81/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/quatic/HanazumiM12,\n added-at = {2013-06-03T00:00:00.000+0200},\n author = {Hanazumi, Simone and de Melo, Ana Cristina Vieira},\n biburl = {http://www.bibsonomy.org/bibtex/2bfbfd206af8bbf014587b988d9f80d81/dblp},\n booktitle = {QUATIC},\n crossref = {conf/quatic/2012},\n editor = {Faria, João Pascoal and da Silva, Alberto Rodrigues and Machado, Ricardo Jorge},\n ee = {http://dx.doi.org/10.1109/QUATIC.2012.26},\n interhash = {8c26d6208a5eb07fcd7b4b4286a9573c},\n intrahash = {bfbfd206af8bbf014587b988d9f80d81},\n isbn = {978-0-7695-4777-0},\n keywords = {dblp},\n pages = {108-113},\n publisher = {IEEE Computer Society},\n title = {Coordinating Exceptions of Java Systems: Implementation and Formal Verification.},\n url = {http://dblp.uni-trier.de/db/conf/quatic/quatic2012.html#HanazumiM12},\n year = {2012}\n}","author_short":["Hanazumi, S.","de<nbsp>Melo","Vieira, A.<nbsp>C."],"author":["Hanazumi, Simone","de Melo","Vieira, Ana Cristina"],"added-at":"2013-06-03T00:00:00.000+0200"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Melo?items=1000","creationDate":"2014-08-20T09:58:20.760Z","downloads":0,"keywords":["dblp"],"search_terms":["coordinating","exceptions","java","systems","implementation","formal","verification","hanazumi","de<nbsp>melo","vieira"],"title":"Coordinating Exceptions of Java Systems: Implementation and Formal Verification.","year":2012,"dataSources":["aQGcfqSy5GLivCyrC"]}