The Role of Formal Methods in Achieving Dependable Software
| Year of publication: |
1994
|
|---|---|
| Authors: | Thomas, M. |
| Published in: |
Reliability engineering & system safety. - London : Elsevier, ISSN 0951-8320, ZDB-ID 612029. - Vol. 43.1994, 2, p. 129-134
|