Browse New Popular Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

The WWW Virtual Library: Formal Methods

afm.sbu.ac.uk
Visit Site

Pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems.

Category
Specification
Visits
28
Added
Mar 31, 2026
Rating
(123)
Rate This Site
More in Specification Report
Advertise herefrom $12.00/day  ·  RON $18.00/day
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
AMAST 2000 497 visits
B-Method 497 visits
CoFI: Common Framework Initiative 484 visits
FraCaS 467 visits
Statestep 409 visits
Advertise herefrom $15.00/day  ·  RON $21.00/day