The practice of formal methods in safety-critical systems
Shaoying Liu, Victoria Stavridou, Bruno DutertreVolume:
28
Year:
1995
Language:
english
Pages:
11
DOI:
10.1016/0164-1212(94)00082-x
File:
PDF, 1.37 MB
english, 1995