Analysis of program code. Cassez, F. & Müller, C. September 12, 2017. US Patent 9,760,469![Analysis of program code [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @misc{cassez2017analysis,
title={Analysis of program code},
author={Cassez, F. and M{\"u}ller, C.},
url={https://www.google.com/patents/US9760469},
year={2017},
mywebpage = {soft-verif},
keywords = {software verification},
category = {soft-verif},
month=sep # "~12",
note={US Patent 9,760,469}
}
Downloads: 0
{"_id":"6fvqFHx2pPRgdC6BZ","bibbaseid":"cassez-mller-analysisofprogramcode-2017","author_short":["Cassez, F.","Müller, C."],"bibdata":{"bibtype":"misc","type":"misc","title":"Analysis of program code","author":[{"propositions":[],"lastnames":["Cassez"],"firstnames":["F."],"suffixes":[]},{"propositions":[],"lastnames":["Müller"],"firstnames":["C."],"suffixes":[]}],"url":"https://www.google.com/patents/US9760469","year":"2017","mywebpage":"soft-verif","keywords":"software verification","category":"soft-verif","month":"September 12","note":"US Patent 9,760,469","bibtex":"@misc{cassez2017analysis,\n title={Analysis of program code},\n author={Cassez, F. and M{\\\"u}ller, C.},\n url={https://www.google.com/patents/US9760469},\n year={2017},\n mywebpage = {soft-verif},\n keywords = {software verification},\n category = {soft-verif},\n month=sep # \"~12\",\n note={US Patent 9,760,469}\n}\n\n","author_short":["Cassez, F.","Müller, C."],"key":"cassez2017analysis","id":"cassez2017analysis","bibbaseid":"cassez-mller-analysisofprogramcode-2017","role":"author","urls":{"Paper":"https://www.google.com/patents/US9760469"},"keyword":["software verification"],"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F"],"keywords":["software verification"],"search_terms":["analysis","program","code","cassez","müller"],"title":"Analysis of program code","year":2017}