Automated structural analysis of SCR-style software requirements specifications using PVS
Taeho Kim, Sungdeok ChaVolume:
11
Year:
2001
Language:
english
Pages:
21
DOI:
10.1002/stvr.218
File:
PDF, 210 KB
english, 2001