Formal Methods Virtual Library
Name: Formal Methods Virtual Library
URL: www.afm.sbu.ac.uk
Description: Virtual Library Online Directory For Formal Methods And Notations Aimed At Aiding The Improved Development Of Computer-based Systems.
Language: Unknown
Character Set: Unknown
See also:
Hardware / Software / Computers / Systems / Development / Design / Tools / People / Safety / Security / Logic / Mathematics / Support / Quality / Languages / Publications / All Links
