Author:
Clarke Edmund,Sharygina Natasha,Sinha Nishant
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 75(2), 87–106 (1987)
2. Ball, T., Rajamani, S.: Boolean programs: A model and process for software analysis. TR-2000-14 (2000)
3. Black, A., Hutchinson, A., Jul, N., Levy, E., Carter, L.: Distribution and abstract types in emerald. IEEE TSE 13(1), 65–76 (1987)
4. Cardelli, L.: A semantics of multiple inheritance. Information and Computation 76, 138–164 (1988)
5. Lecture Notes in Computer Science;S. Chaki,2005
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献