Search for persons
X
?
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering ,
12
Game-based safety checking with Mage:
, In:
?
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming ,
14