Benzer kitaplar «Industrial Use of Formal Methods. Formal Verification»,