Suchergebnisse - Vytopil, Jan

7 x Antonín Raymond

von 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

Inhaltsverzeichnis

Invariant assertion synthesis and theorem generalization in program verification

von Vytopil, Jan

Formal Techniques in Real-Time and Fault-Tolerant Systems

Weitere beteiligte Personen: “… Vytopil, Jan …”