{"_id":"yKPsinbN3692GGWdZ","bibbaseid":"chartier-formalizationofbinisabellehol-1998","downloads":0,"creationDate":"2016-02-08T21:26:15.696Z","title":"Formalization of B in Isabelle/HOL","author_short":["Chartier, P."],"year":1998,"bibtype":"inproceedings","biburl":"http://wwwrobot.gmc.ulaval.ca/~sifou11/test.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["P."],"propositions":[],"lastnames":["Chartier"],"suffixes":[]}],"title":"Formalization of B in Isabelle/HOL","booktitle":"Proceedings of the Second B International Conference","publisher":"Springer-Verlag","series":"Lecture Notes in Computer Science","volume":"1393","year":"1998","address":"Montpellier, France","month":"April","bibtex":"@inproceedings{Chartier98,\r\n author = {P. Chartier},\r\n title = {{Formalization of B in Isabelle/HOL}},\r\n booktitle = {{Proceedings of the Second B International Conference}},\r\n publisher = {Springer-Verlag},\r\n series = {Lecture Notes in Computer Science},\r\n volume = 1393,\r\n year = 1998,\r\n address = {{Montpellier, France}},\r\n month = {April}\r\n}\r\n\r\n","author_short":["Chartier, P."],"key":"Chartier98","id":"Chartier98","bibbaseid":"chartier-formalizationofbinisabellehol-1998","role":"author","urls":{},"downloads":0},"search_terms":["formalization","isabelle","hol","chartier"],"keywords":[],"authorIDs":[],"dataSources":["sXvnoL4HXbgjkkbej"]}