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

{"_id":"jid6e7DDSwoJexXQk","bibbaseid":"luckcuck-wellings-cavalcanti-safetycriticaljavalevel2inpractice-2018","downloads":0,"creationDate":"2018-06-30T10:33:37.239Z","title":"Safety-Critical Java: Level 2 in Practice","author_short":["Luckcuck, M.","Wellings, A. J.","Cavalcanti, A."],"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":["Andy","J."],"propositions":[],"lastnames":["Wellings"],"suffixes":[]},{"firstnames":["Ana"],"propositions":[],"lastnames":["Cavalcanti"],"suffixes":[]}],"title":"Safety-Critical Java: Level 2 in Practice","journal":"CoRR","volume":"abs/1805.10710","year":"2018","url":"http://arxiv.org/abs/1805.10710","archiveprefix":"arXiv","eprint":"1805.10710","timestamp":"Wed, 06 Jun 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/abs-1805-10710","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1805-10710,\n author = {Matt Luckcuck and\n Andy J. Wellings and\n Ana Cavalcanti},\n title = {Safety-Critical Java: Level 2 in Practice},\n journal = {CoRR},\n volume = {abs/1805.10710},\n year = {2018},\n url = {http://arxiv.org/abs/1805.10710},\n archivePrefix = {arXiv},\n eprint = {1805.10710},\n timestamp = {Wed, 06 Jun 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/corr/abs-1805-10710},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Luckcuck, M.","Wellings, A. J.","Cavalcanti, A."],"key":"DBLP:journals/corr/abs-1805-10710","id":"DBLP:journals/corr/abs-1805-10710","bibbaseid":"luckcuck-wellings-cavalcanti-safetycriticaljavalevel2inpractice-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1805.10710"},"downloads":0,"html":""},"search_terms":["safety","critical","java","level","practice","luckcuck","wellings","cavalcanti"],"keywords":[],"authorIDs":[],"dataSources":["3GBpMPKcRawrLgfjR"]}