bn:00857464n
Noun Concept
EL
No term available
EN
In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. Wikipedia
Relations
Sources