Sciweavers

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