Category:Formal methods people
Computer scientists and mathematicians who work on formal methods, the use of mathematical techniques for specification and verification of computer systems.
Pages in category "Formal methods people"
This category contains only the following page.