@article{ dblp2150642,
  title = {Abstract Data Types in Event-B - An Application of Generic Instantiation},
  author = {David A. Basin and Andreas Fürst and Thai Son Hoang and Kunihiko Miyazaki and Naoto Sato},
  author_short = {Basin, D. A. and Fürst, A. and Son Hoang, T. and Miyazaki, K. and Sato, N.},
  bibtype = {article},
  type = {article},
  year = {2012},
  key = {dblp2150642},
  id = {dblp2150642},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1210-7283},
  url = {http://arxiv.org/abs/1210.7283},
  journal = {CoRR},
  volume = {abs/1210.7283},
  text = {CoRR abs/1210.7283 (2012)}
}

{"_id":"XfA7Bux9h3R4T5hPX","bibbaseid":"basin-frst-sonhoang-miyazaki-sato-abstractdatatypesineventbanapplicationofgenericinstantiation-2012","downloads":0,"creationDate":"2015-06-12T22:13:33.800Z","title":"Abstract Data Types in Event-B - An Application of Generic Instantiation","author_short":["Basin, D. A.","Fürst, A.","Son Hoang, T.","Miyazaki, K.","Sato, N."],"year":2012,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1210-7283","bibdata":{"title":"Abstract Data Types in Event-B - An Application of Generic Instantiation","author":["David A. Basin","Andreas Fürst","Thai Son Hoang","Kunihiko Miyazaki","Naoto Sato"],"author_short":["Basin, D. A.","Fürst, A.","Son Hoang, T.","Miyazaki, K.","Sato, N."],"bibtype":"article","type":"article","year":"2012","key":"dblp2150642","id":"dblp2150642","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1210-7283","url":"http://arxiv.org/abs/1210.7283","journal":"CoRR","volume":"abs/1210.7283","text":"CoRR abs/1210.7283 (2012)","bibtex":"@article{ dblp2150642,\n title = {Abstract Data Types in Event-B - An Application of Generic Instantiation},\n author = {David A. Basin and Andreas Fürst and Thai Son Hoang and Kunihiko Miyazaki and Naoto Sato},\n author_short = {Basin, D. A. and Fürst, A. and Son Hoang, T. and Miyazaki, K. and Sato, N.},\n bibtype = {article},\n type = {article},\n year = {2012},\n key = {dblp2150642},\n id = {dblp2150642},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1210-7283},\n url = {http://arxiv.org/abs/1210.7283},\n journal = {CoRR},\n volume = {abs/1210.7283},\n text = {CoRR abs/1210.7283 (2012)}\n}","bibbaseid":"basin-frst-sonhoang-miyazaki-sato-abstractdatatypesineventbanapplicationofgenericinstantiation-2012","role":"author","urls":{"Paper":"http://arxiv.org/abs/1210.7283"},"downloads":0},"search_terms":["abstract","data","types","event","application","generic","instantiation","basin","fürst","son hoang","miyazaki","sato"],"keywords":[],"authorIDs":[],"dataSources":["uaSNXMavKazKsuZ8k"]}