Author:
Chaudhari Dipak L.,Damani Om
Publisher
Open Publishing Association
Reference21 articles.
1. Syntax-Guided Synthesis;Alur,2013
2. Structured Calculational Proof;Back;Formal Aspects of Computing,1997
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tool-Assisted Loop Invariant Development and Analysis;2016 IEEE 29th International Conference on Software Engineering Education and Training (CSEET);2016-04