Model evolution and refinement

Autor: Ruhroth, Thomas, Wehrheim, Heike
Zdroj: In Science of Computer Programming 2012 77(3):270-289
Databáze: ScienceDirect