Sciweavers

15254 search results - page 169 / 3051
» A k
Sort
View
ISSEP
2005
Springer
64views Education» more  ISSEP 2005»
16 years 1 days ago
Standard Software as Microworld?
Peter K. Antonitsch
LPAR
2005
Springer
16 years 23 hour ago
Zap: Automated Theorem Proving for Software Analysis
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvath...
MYCRYPT
2005
Springer
157views Cryptology» more  MYCRYPT 2005»
16 years 21 hour ago
Twin RSA
Arjen K. Lenstra, Benjamin M. M. de Weger
PADL
2005
Springer
16 years 19 hour ago
Code Compression
Saumya K. Debray