Sign in

Model-driven generation of runtime checks for system properties.

Mauro PezzèJochen Wuttke
Published in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases