Sciweavers

10912 search results - page 148 / 2183
» Object-Oriented Programming Languages
Sort
View
GPCE
2009
Springer
15 years 11 months ago
A model of refactoring physically and virtually separated features
Christian Kästner, Sven Apel, Martin Kuhleman...
IFIP
2009
Springer
15 years 11 months ago
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier