Sciweavers

5235 search results - page 27 / 1047
» Analysis of Multithreaded Programs
Sort
View
CAV
2007
Springer
117views Hardware» more  CAV 2007»
15 years 5 months ago
Spade: Verification of Multithreaded Dynamic and Recursive Programs
Gaël Patin, Mihaela Sighireanu, Tayssir Touil...