Search for persons
X
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ,
7
Visual animation of B specifications using executable DSLs:
, In:
?
Communications in Computer and Information Science; Software Architecture ,
13