Login / Signup

Model-driven development of reactive information systems: from graph transformation rules to JML contracts.

Reiko HeckelMarc Lohmann
Published in: Int. J. Softw. Tools Technol. Transf. (2007)
Keyphrases