Search Results - Vytopil, Jan

7 x Antonín Raymond

by Merta, Dan, Veverková, Irena 1957-, Šlapeta, Vladimír 1947-, Kratochvíl, Petr 1950-, Lizon, Peter 1938-, Tsuchiya, Shiegfumi R., Vávra, David 1957-, Vytopil, Jan

Table of contents
Order interlibrary loan

Invariant assertion synthesis and theorem generalization in program verification

by Vytopil, Jan

Order interlibrary loan

Formal Techniques in Real-Time and Fault-Tolerant Systems

Other Authors: “…Vytopil, Jan…”