On Teaching Formal Methods: Behavior Models and Code Analysis

Kofroň Jan



Název
On Teaching Formal Methods: Behavior Models and Code Analysis
Překlad názvu
Výuka formálních metod: Modely chování a analýza kódu
Autor
lupa Kofroň Jan UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa Parízek P.
lupa Šerý O.
Zdroj.dok.
lupa Teaching Formal Methods. S. 144-157. - Berlin : Springer, 2009 / Gibbons J. ; Oliveira J.N.
Vyd.údaje
14 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
DE
Klíč.slova
formal methods * code analysis * teaching
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0179074