Author:
Rivières Jim des,Smith Brian Cantwell
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A vision for online verification-validation;ACM SIGPLAN Notices;2017-05-12
2. A vision for online verification-validation;Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2016-10-20
3. Programming Deliberation Strategies in Meta-APL;PRIMA 2015: Principles and Practice of Multi-Agent Systems;2015
4. Conscientious software;ACM SIGPLAN Notices;2006-10-16
5. Aspect-Oriented Development of Crosscutting Features in Distributed, Heterogeneous Systems;Lecture Notes in Computer Science;2006