Sciweavers

10585 search results - page 335 / 2117
» The Orc Programming Language
Sort
View
IFIP
2009
Springer
16 years 1 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim
CC
2007
Springer
16 years 27 days ago
Obfuscating Java: The Most Pain for the Least Gain
Michael Batchelder, Laurie J. Hendren