FORMAL MODELS AND VERIFICATION 1
 | ||
|
 | Doron Peled. Software Reliability Methods. – Berlin : Springer, 2001. – (Texts in computer science). |
|
FORMAL MODELS AND VERIFICATION 1 |
|
||||
|
||||||
| Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes | ||||