Sciweavers

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