Terminology associated with formal methods, a mathematical branch of software engineering.
Terminology
Category:Software engineering terminology
Category:Mathematical terminology