![](/img/cover-not-exists.png)
Automating formal proofs for reactive systems
Ricketts, Daniel, Robert, Valentin, Jang, Dongseok, Tatlock, Zachary, Lerner, SorinVolume:
49
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/2666356.2594338
Date:
June, 2014
File:
PDF, 443 KB
english, 2014