Formal verification of functional properties of a SCR-style software requirements specification using PVS
- Taeho Kim*
- , David Stringer-Calvert
- , Sungdeok Cha
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
4
Link opens in a new tab
Citations
(Scopus)