@article{DBLP:journals/corr/abs-1805-10711,
  author    = {Matt Luckcuck and
               Ana Cavalcanti and
               Andy J. Wellings},
  title     = {A Formal Model of the Safety-Critical Java Level 2 Paradigm},
  journal   = {CoRR},
  volume    = {abs/1805.10711},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.10711},
  archivePrefix = {arXiv},
  eprint    = {1805.10711},
  timestamp = {Wed, 06 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1805-10711},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2z74cHx2NqyDTCgSD","bibbaseid":"luckcuck-cavalcanti-wellings-aformalmodelofthesafetycriticaljavalevel2paradigm-2018","downloads":0,"creationDate":"2018-06-30T10:33:37.240Z","title":"A Formal Model of the Safety-Critical Java Level 2 Paradigm","author_short":["Luckcuck, M.","Cavalcanti, A.","Wellings, A. J."],"year":2018,"bibtype":"article","biburl":"https://dblp.org/pid/152/5899.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Matt"],"propositions":[],"lastnames":["Luckcuck"],"suffixes":[]},{"firstnames":["Ana"],"propositions":[],"lastnames":["Cavalcanti"],"suffixes":[]},{"firstnames":["Andy","J."],"propositions":[],"lastnames":["Wellings"],"suffixes":[]}],"title":"A Formal Model of the Safety-Critical Java Level 2 Paradigm","journal":"CoRR","volume":"abs/1805.10711","year":"2018","url":"http://arxiv.org/abs/1805.10711","archiveprefix":"arXiv","eprint":"1805.10711","timestamp":"Wed, 06 Jun 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/abs-1805-10711","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1805-10711,\n author = {Matt Luckcuck and\n Ana Cavalcanti and\n Andy J. Wellings},\n title = {A Formal Model of the Safety-Critical Java Level 2 Paradigm},\n journal = {CoRR},\n volume = {abs/1805.10711},\n year = {2018},\n url = {http://arxiv.org/abs/1805.10711},\n archivePrefix = {arXiv},\n eprint = {1805.10711},\n timestamp = {Wed, 06 Jun 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/corr/abs-1805-10711},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Luckcuck, M.","Cavalcanti, A.","Wellings, A. J."],"key":"DBLP:journals/corr/abs-1805-10711","id":"DBLP:journals/corr/abs-1805-10711","bibbaseid":"luckcuck-cavalcanti-wellings-aformalmodelofthesafetycriticaljavalevel2paradigm-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1805.10711"},"downloads":0,"html":""},"search_terms":["formal","model","safety","critical","java","level","paradigm","luckcuck","cavalcanti","wellings"],"keywords":[],"authorIDs":[],"dataSources":["3GBpMPKcRawrLgfjR"]}