Sciweavers

10072 search results - page 166 / 2015
» Composition of Model Programs
Sort
View
ESOP
2003
Springer
16 years 1 days ago
Flexible Models for Dynamic Linking
Sophia Drossopoulou, Giovanni Lagorio, Susan Eisen...
GPCE
2009
Springer
15 years 11 months ago
A model of refactoring physically and virtually separated features
Christian Kästner, Sven Apel, Martin Kuhleman...
ESOP
2001
Springer
15 years 11 months ago
On the Completeness of Model Checking
Francesco Ranzato