WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Abstracting refinements for transformation
Nordic Journal of Computing
IEEE Transactions on Software Engineering
ForMAAD: A formal method for agent-based application design
Web Intelligence and Agent Systems
Observational Refinement Process
Electronic Notes in Theoretical Computer Science (ENTCS)
Hybrid specification of reactive systems: an institutional approach
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Towards a formal methodology for designing multi-agent applications
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Hi-index | 0.00 |