Author:
Furia Carlo A.,Poskitt Christopher M.,Tschannen Julian
Publisher
Open Publishing Association
Reference21 articles.
1. Specification and verification: the Spec# experience;Barnett;Commun. ACM,2011
2. Specification of Red-black Trees: Showcasing Dynamic Frames, Model Fields and Sequences;Bruns,2011
3. VCC: A Practical System for Verifying Concurrent C;Cohen,2009
4. LNCS,2004
5. LNCS,2009
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献