Towards software model checking in the context of model-driven engineering / von Robert Bill. 2014
Inhalt