Proof and system-reliability. : NATO Advanced Study Institute on proof and system-reliability : Marktoberdorf summer school 2001 on proof and system-reliability : Jul 2001, Marktoberdorf, Germany. (NATO Science Series. Series II, Mathematics, Physics, and Chemistry ; 62)
Proof and system-reliability. : NATO Advanced Study Institute on proof and system-reliability : Marktoberdorf summer school 2001 on proof and system-reliability : Jul 2001, Marktoberdorf, Germany.
(NATO Science Series. Series II, Mathematics, Physics, and Chemistry ; 62)