Contracts: from analysis to C++ implementation

Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278) ◽

10.1109/tools.1999.787553 ◽

2003 ◽

Cited By ~ 4

Author(s):

R. Plosch ◽

J. Pichler

Download Full-text