![](/img/cover-not-exists.png)
[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Automating formal proofs for reactive systems
Ricketts, Daniel, Robert, Valentin, Jang, Dongseok, Tatlock, Zachary, Lerner, SorinYear:
2013
Language:
english
DOI:
10.1145/2594291.2594338
File:
PDF, 443 KB
english, 2013