{"_id":"JmdgNzondwnx3WwTT","bibbaseid":"cok-kiniry-escjava2unitingescjavaandjmlprogressandissuesinbuildingandusingescjava2andareportonacasestudyinvolvingtheuseofescjava2toverifyportionsofaninternetvotingtallysystem","authorIDs":[],"author_short":["Cok, D.","Kiniry, J. R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["D."],"propositions":[],"lastnames":["Cok"],"suffixes":[]},{"firstnames":["J.","R."],"propositions":[],"lastnames":["Kiniry"],"suffixes":[]}],"crossref":"CASSIS04","pages":"108–128","title":"ESC/Java2: Uniting ESC/Java and JML: Progress and issues in building and using ESC/Java2 and a report on a case study involving the use of ESC/Java2 to verify portions of an Internet voting tally system","bibtex":"@inproceedings{CokK04,\n\tAuthor = {D. Cok and J. R. Kiniry},\n\tCrossref = {CASSIS04},\n\tPages = {108--128},\n\tTitle = {{ESC/Java2}: Uniting {ESC/Java} and {JML}: Progress and issues in building and using {ESC/Java2} and a report on a case study involving the use of {ESC/Java2} to verify portions of an Internet voting tally system}}\n\n","author_short":["Cok, D.","Kiniry, J. R."],"key":"CokK04","id":"CokK04","bibbaseid":"cok-kiniry-escjava2unitingescjavaandjmlprogressandissuesinbuildingandusingescjava2andareportonacasestudyinvolvingtheuseofescjava2toverifyportionsofaninternetvotingtallysystem","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.510Z","downloads":0,"keywords":[],"search_terms":["esc","java2","uniting","esc","java","jml","progress","issues","building","using","esc","java2","report","case","study","involving","use","esc","java2","verify","portions","internet","voting","tally","system","cok","kiniry"],"title":"ESC/Java2: Uniting ESC/Java and JML: Progress and issues in building and using ESC/Java2 and a report on a case study involving the use of ESC/Java2 to verify portions of an Internet voting tally system","year":null,"dataSources":["7Z8XEkSJX2s636QcA"]}