Sciweavers

3404 search results - page 41 / 681
» C Programming Tutorial
Sort
View
PACT
2001
Springer
15 years 2 months ago
Experimental Version of Parallel Programs Translator from Petri Nets to C++
E. A. Golenkov, A. S. Sokolov, G. V. Tarasov, D. I...
63
Voted
TACAS
2001
Springer
96views Algorithms» more  TACAS 2001»
15 years 2 months ago
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram K. Rajamani