Sciweavers

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