Sciweavers

15777 search results - page 32 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
113
Voted
EMSOFT
2001
Springer
15 years 7 months ago
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot, Radhia Cousot
94
Voted
EWSPT
2001
Springer
15 years 7 months ago
Reporting about the Mod Software Process
Giovanni A. Cignoni