gjditchfield@watrose.UUCP (Glen Ditchfield) (02/27/86)
I am looking for papers on formal verification of object-oriented languages. I am especially curious about methods that make assertions about the data in the objects. Can anyone out there suggest some references? Thanks in advance. - Glen Ditchfield