Sciweavers

15777 search results - page 78 / 3156
» Engineering in Software
Sort
View
95
Voted
FSTTCS
1998
Springer
15 years 6 months ago
Descriptive Complexity and Model Checking
Neil Immerman
91
Voted
APSEC
1997
IEEE
15 years 6 months ago
Design by Contract for Python
Reinhold Plösch
92
Voted
ICSE
1998
IEEE-ACM
15 years 6 months ago
Formalizing Design Patterns
Tommi Mikkonen