@unpublished{Munoz98,
  author = {C. Mu{\~{n}}oz},
  title = {{Supporting the B-method in PVS: An
             Approach to the Abstract Machine Notation in Type Theory}},
  note = {Submitted to FSE-98},
  year = 1998,
  url = {http://www.csl.sri.com/~munoz/Papers/pbs.ps.gz}
}

{"_id":"K5zkkx4zFenPQXr5N","bibbaseid":"muoz-supportingthebmethodinpvsanapproachtotheabstractmachinenotationintypetheory-1998","downloads":0,"creationDate":"2016-02-08T21:26:15.847Z","title":"Supporting the B-method in PVS: An Approach to the Abstract Machine Notation in Type Theory","author_short":["Muñoz, C."],"year":1998,"bibtype":"unpublished","biburl":"http://wwwrobot.gmc.ulaval.ca/~sifou11/test.bib","bibdata":{"bibtype":"unpublished","type":"unpublished","author":[{"firstnames":["C."],"propositions":[],"lastnames":["Muñoz"],"suffixes":[]}],"title":"Supporting the B-method in PVS: An Approach to the Abstract Machine Notation in Type Theory","note":"Submitted to FSE-98","year":"1998","url":"http://www.csl.sri.com/~munoz/Papers/pbs.ps.gz","bibtex":"@unpublished{Munoz98,\r\n author = {C. Mu{\\~{n}}oz},\r\n title = {{Supporting the B-method in PVS: An\r\n Approach to the Abstract Machine Notation in Type Theory}},\r\n note = {Submitted to FSE-98},\r\n year = 1998,\r\n url = {http://www.csl.sri.com/~munoz/Papers/pbs.ps.gz}\r\n}\r\n\r\n","author_short":["Muñoz, C."],"key":"Munoz98","id":"Munoz98","bibbaseid":"muoz-supportingthebmethodinpvsanapproachtotheabstractmachinenotationintypetheory-1998","role":"author","urls":{"Paper":"http://www.csl.sri.com/~munoz/Papers/pbs.ps.gz"},"downloads":0},"search_terms":["supporting","method","pvs","approach","abstract","machine","notation","type","theory","muñoz"],"keywords":[],"authorIDs":[],"dataSources":["sXvnoL4HXbgjkkbej"]}