Evaluating Larch/C++ as a speci cation language: Acase study using the Microsoft Foundation Class Library (1995)

by D M Egle