Sciweavers

15811 search results - page 238 / 3163
» Search-based software engineering
Sort
View
DAGSTUHL
2010
15 years 5 months ago
Modeling
Markus Geyer, Benjamin Hiller, Sascha Meinert
DAGSTUHL
2010
15 years 5 months ago
Libraries
Roman Dementiev, Johannes Singler
FOSSACS
2010
Springer
15 years 5 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson