A messy state of the union
| Autor: | Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue |
|---|---|
| Rok vydání: | 2017 |
| Zdroj: | Communications of the ACM |
| ISSN: | 0001-0782 |
| DOI: | 10.1145/3023357 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|