Home » Publications

Formal Methods for Complex Evolving Systems

Publication Type:

Conference Paper

Authors:

Steve Vestal

Source:

Formal Methods Workshop, Monterey, CA (1994)