[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, Sorin
• 文件大小442.93KB
• 发表时间2013
• DOI10.1145/2594291.2594338
• 页码452-462