Sciweavers

6174 search results - page 35 / 1235
» The language of social software
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 6 months ago
Language-Based Abstraction Refinement for Hybrid System Verification
Felix Klaedtke, Stefan Ratschan, Zhikun She