Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
The edge of graph transformation: graphs for behavioural specification
Graph transformations and model-driven engineering
Hi-index | 0.00 |