Author:
Couchot J.-F.,Déharbe D.,Giorgetti A.,Ranise S.
Publisher
Springer Science and Business Media LLC
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Teaching an Old Dog New Tricks;Lecture Notes in Computer Science;2018
2. Integrating SMT solvers in Rodin;Science of Computer Programming;2014-11
3. Integration of SMT-solvers in B and Event-B development environments;Science of Computer Programming;2013-03
4. SMT Solvers for Rodin;Abstract State Machines, Alloy, B, VDM, and Z;2012
5. Automatic Verification for a Class of Proof Obligations with SMT-Solvers;Abstract State Machines, Alloy, B and Z;2010