Treffer: Animation of Object-Z specifications using a Z animator.
Title:
Animation of Object-Z specifications using a Z animator.
Authors:
Source:
Proceedings of the First International Conference on Software Engineering & Formal Methods, 2003; 2003, p191-200, 10p
Database:
Complementary Index