Sciweavers

15777 search results - page 133 / 3156
» Engineering in Software
Sort
View
PPPJ
2006
ACM
16 years 11 days ago
Typeless programming in Java 5.0
Martin Plümicke, Jörg Bäuerle
KBSE
2005
IEEE
15 years 12 months ago
Code security analysis with assertions
Jan Jürjens, Mark Yampolskiy