Sciweavers

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