| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software | 978-0-13-187250-9 (0-13-187250-8) | 2006 | Peter C. Patton |
| Oprogramowanie godne zaufania: Metodologia, techniki i narzedzia projektowania | 978-83-246-1463-9 (83-246-1463-X) | ||