Skip to content

A Formalism for Conformance Analysis and Its Applications.

Tien Nhut Nguyen, Ethan V. Munson

VenueBSEFM
Year2004
ProceedingsSEFM

Browse the full SEFM paper archive.