diff options
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/references.bib b/references.bib index 9ece4da..86b7a4e 100644 --- a/references.bib +++ b/references.bib @@ -287,3 +287,18 @@ title = {{Silver Oak}}, author = {Satnam Singh}, url = {https://github.com/project-oak/silveroak}, } + +@article{blazy09_mechan_seman_cligh_subset_c_languag, + author = "Blazy, Sandrine and Leroy, Xavier", + title = {Mechanized Semantics for the Clight Subset of the C Language}, + journal = "Journal of Automated Reasoning", + volume = 43, + number = 3, + pages = "263--288", + year = 2009, + doi = "10.1007/s10817-009-9148-3", + url = {https://doi.org/10.1007/s10817-009-9148-3}, + day = 01, + issn = "1573-0670", + month = "Oct" +} |