Formal Methods in Software Verification and Control (Q168158)
From geokb
Mathematical methods to verify and control software behavior.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal Methods in Software Verification and Control |
Mathematical methods to verify and control software behavior. |
