Bibtex

Nisha Desai, Martin Gogolla, Developing Comprehensive Postconditions Through a Model Transformation Chain

Back