Collective Specification and Verification of Behavior Models and Object-oriented Implementations.

Qing Yi, Jianwei Niu, Anitha R. Marneni

Browse the full ICSoft paper archive.