@inproceedings{conf/sigada/BeltCHR12,
  added-at = {2025-01-19T00:00:00.000+0100},
  author = {Belt, Jason and Chalin, Patrice and Hatcliff, John and Robby},
  biburl = {https://www.bibsonomy.org/bibtex/2e4b8e2cd91be16f5ba4ee527448a3830/dblp},
  booktitle = {HILT},
  crossref = {conf/sigada/2012},
  editor = {Brosgol, Ben and Boleng, Jeff and Taft, S. Tucker},
  ee = {https://www.wikidata.org/entity/Q131116115},
  interhash = {5f4731ab3d764b1f541e8f47b0f08c63},
  intrahash = {e4b8e2cd91be16f5ba4ee527448a3830},
  isbn = {978-1-4503-1505-0},
  keywords = {dblp},
  pages = {3-4},
  publisher = {ACM},
  timestamp = {2025-01-27T11:51:46.000+0100},
  title = {Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan.},
  url = {http://dblp.uni-trier.de/db/conf/sigada/hilt2012.html#BeltCHR12},
  year = 2012
}

{"_id":"Z8CkhNWuQCic9m3ss","bibbaseid":"belt-chalin-hatcliff-robby-leadingedgeadaverificationtechnologieshighlyautomatedadacontractcheckingusingbakarkiasan-2012","author_short":["Belt, J.","Chalin, P.","Hatcliff, J.","Robby"],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2025-01-19T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Belt"],"firstnames":["Jason"],"suffixes":[]},{"propositions":[],"lastnames":["Chalin"],"firstnames":["Patrice"],"suffixes":[]},{"propositions":[],"lastnames":["Hatcliff"],"firstnames":["John"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["Robby"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2e4b8e2cd91be16f5ba4ee527448a3830/dblp","booktitle":"HILT","crossref":"conf/sigada/2012","editor":[{"propositions":[],"lastnames":["Brosgol"],"firstnames":["Ben"],"suffixes":[]},{"propositions":[],"lastnames":["Boleng"],"firstnames":["Jeff"],"suffixes":[]},{"propositions":[],"lastnames":["Taft"],"firstnames":["S.","Tucker"],"suffixes":[]}],"ee":"https://www.wikidata.org/entity/Q131116115","interhash":"5f4731ab3d764b1f541e8f47b0f08c63","intrahash":"e4b8e2cd91be16f5ba4ee527448a3830","isbn":"978-1-4503-1505-0","keywords":"dblp","pages":"3-4","publisher":"ACM","timestamp":"2025-01-27T11:51:46.000+0100","title":"Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan.","url":"http://dblp.uni-trier.de/db/conf/sigada/hilt2012.html#BeltCHR12","year":"2012","bibtex":"@inproceedings{conf/sigada/BeltCHR12,\n added-at = {2025-01-19T00:00:00.000+0100},\n author = {Belt, Jason and Chalin, Patrice and Hatcliff, John and Robby},\n biburl = {https://www.bibsonomy.org/bibtex/2e4b8e2cd91be16f5ba4ee527448a3830/dblp},\n booktitle = {HILT},\n crossref = {conf/sigada/2012},\n editor = {Brosgol, Ben and Boleng, Jeff and Taft, S. Tucker},\n ee = {https://www.wikidata.org/entity/Q131116115},\n interhash = {5f4731ab3d764b1f541e8f47b0f08c63},\n intrahash = {e4b8e2cd91be16f5ba4ee527448a3830},\n isbn = {978-1-4503-1505-0},\n keywords = {dblp},\n pages = {3-4},\n publisher = {ACM},\n timestamp = {2025-01-27T11:51:46.000+0100},\n title = {Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan.},\n url = {http://dblp.uni-trier.de/db/conf/sigada/hilt2012.html#BeltCHR12},\n year = 2012\n}\n\n","author_short":["Belt, J.","Chalin, P.","Hatcliff, J.","Robby"],"editor_short":["Brosgol, B.","Boleng, J.","Taft, S. T."],"key":"conf/sigada/BeltCHR12","id":"conf/sigada/BeltCHR12","bibbaseid":"belt-chalin-hatcliff-robby-leadingedgeadaverificationtechnologieshighlyautomatedadacontractcheckingusingbakarkiasan-2012","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q131116115","Paper":"http://dblp.uni-trier.de/db/conf/sigada/hilt2012.html#BeltCHR12"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Jason?items=1000","dataSources":["miMWJWjn4sT6Q3GDs"],"keywords":["dblp"],"search_terms":["leading","edge","ada","verification","technologies","highly","automated","ada","contract","checking","using","bakar","kiasan","belt","chalin","hatcliff","robby"],"title":"Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan.","year":2012}