Sciweavers

FM
1990
Springer
56views Formal Methods» more  FM 1990»
13 years 11 months ago
Object Orientation and Formal Techniques
Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999
Ole-Johan Dahl