NATO Advanced Study Institute on Proof and System-Reliability (2001 Marktoberdorf, Germany) · 2002
428 pages · ~11h read
philosophy
