Sciweavers

10585 search results - page 52 / 2117
» The Orc Programming Language
Sort
View
IFIP
2009
Springer
14 years 1 months ago
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier
IFIP
2009
Springer
14 years 1 months ago
A Practice-Based Analysis of an Online Strategy Game
Giannis Milolidakis, Chris Kimble, Demosthenes Ako...