Sciweavers

28497 search results - page 133 / 5700
» Improving experiences of computation
Sort
View
SPIN
2009
Springer
14 years 3 months ago
Experience with Model Checking Linearizability
Martin T. Vechev, Eran Yahav, Greta Yorsh