diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 12:57:55 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 12:57:55 +0000 |
| commit | 073fd831e6d71e2e484131bd90145bdefa240776 (patch) | |
| tree | ac56881afc5ee529a324d5d1e4785313e94a4240 /references.bib | |
| parent | be380c83da2f6a86a9838cedf99c01369970876f (diff) | |
| download | latte21_hlstpc-073fd831e6d71e2e484131bd90145bdefa240776.tar.gz latte21_hlstpc-073fd831e6d71e2e484131bd90145bdefa240776.zip | |
More work on sections
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" +} |