research article

Comparison of Object-Oriented Formal Methods

Guelfi, Nicolas
•
Biberstein, Olivier
•
Buchs, Didier  
Show more
1997
Technical Report of the Esprit Long Term Research Project 20072 ``Design For Validation''
Loading...
Thumbnail Image
Name

guelfi_coofm.ps.gz.gz

Access type

openaccess

Size

143.84 KB

Format

Unknown

Checksum (MD5)

415d43882ab3997d9a937aa450ed3124