Software for Dependable Systems
by Daniel Jackson, Martyn Thomas, Lynette I. Millet, Certifiably Dependable Software Systems Committee
Writing a summary for young readers…
For young readers
Book data: Open Library
by Daniel Jackson, Martyn Thomas, Lynette I. Millet, Certifiably Dependable Software Systems Committee
Book data: Open Library