发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Formally verified differential dynamic logic

[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Formally verified differential dynamic logic

Bohrer, Brandon; Rahli, Vincent; Vukotic, Ivana; Völp, Marcus; Platzer, André

作者Bohrer, Brandon; Rahli, Vincent; Vukotic, Ivana; Völp, Marcus; Platzer, André
文件大小352.15KB
发表时间2017
DOI10.1145/3018610.3018616
页码208-221

← 返回【学霸图书馆】主页