Funder
Unitatea Executiva pentru Finantarea Invatamantului Superior, a Cercetarii, Dezvoltarii si Inovarii
Ministry of Education and Research, Romania
Corporation for National and Community Service
Subject
Applied Mathematics,Artificial Intelligence,Theoretical Computer Science,Software
Reference68 articles.
1. Module algebra;Bergstra;J. ACM,1990
2. Logical support for modularisation;Diaconescu,1993
3. Formal Support for Specification Design and Implementation;Dimitrakos,1998
4. Interpolation in practical formal development;Bicarregui;Log. J. IGPL,2001
5. On pushout consistency, modularity and interpolation for logical specifications;Veloso;Inf. Process. Lett.,1996
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献