Sciweavers

7139 search results - page 47 / 1428
» Language Engineering in Practice
Sort
View
SOCO
2009
Springer
15 years 6 months ago
Language-Independent Quantification and Weaving for Feature Composition
Stefan Boxleitner, Sven Apel, Christian Kästn...
VMCAI
2007
Springer
15 years 5 months ago
Language-Based Abstraction Refinement for Hybrid System Verification
Felix Klaedtke, Stefan Ratschan, Zhikun She