×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [strongest postcondition]
Home >
strongest postcondition
Abstractions From Proofs (HENZINGER, T. a. Et Al., 2004)
8 views
1 - 7 - Design by Contract ™. 2 Design by Contract A discipline of analysis, design, implementation, management.
217 views
Chair of Software Engineering ATOT - Lecture 10, 5 May 2003 1 Advanced Topics in Object Technology Bertrand Meyer.
213 views