An Overview of Larch/C++: Behavioral Specifications for C++ Modules (1996)

by Gary T. Leavens
Venue:DEPARTMENT OF COMPUTER SCIENCE, IOWA STATE UNIVERSITY
Citations:26 - 8 self