Virtual Library: Formal Methods
Field of Science:Science - Computer Science - Formal Methods
Website / Blog:www.afm.sbu.ac.uk
About my Work:
Virtual Library: Formal Methods - Points to sites containing information on formal methods, useful for mathematically describing and reasoning about computer-based systems.
Virtual Library online directory for formal methods and notations aimed at aiding the improved development of computer-based systems.
Formal Methods Virtual Library
Vita / Publications:
Grants and Awards:
About my Institution: