Seminar Abstract

Behavioral Specification of Object-Oriented Designs

N/A at this time

Full announcement in PostScript
Full announcement in PDF
Full announcement in plain text