Author:
Howar Falk,Giannakopoulou Dimitra,Mues Malte,Navas Jorge A.
Publisher
Springer International Publishing
Reference30 articles.
1. Alur, R., Cerný, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java classes. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 98–109 (2005)
2. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987)
3. Lecture Notes in Computer Science;A Armando,2006
4. Lecture Notes in Computer Science;A Biere,1999
5. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.-J.: Symbolic model checking: $$10^{20}$$ states and beyond. Inf. Comput. 98(2), 142–170 (1992)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献