Sciweavers

10622 search results - page 55 / 2125
» Python Programming Language
Sort
View
GPCE
2009
Springer
15 years 10 months ago
A model of refactoring physically and virtually separated features
Christian Kästner, Sven Apel, Martin Kuhleman...
IFIP
2009
Springer
15 years 10 months ago
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier