Skip to Main Content
It looks like you're using Internet Explorer 11 or older. This website works best with modern browsers such as the latest versions of Chrome, Firefox, Safari, and Edge. If you continue with this browser, you may see unexpected results.

Formal Methods in Software Engineering: Societies

In software engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems

Computer Societies

Computer Societies