Počet záznamů: 1
On Teaching Formal Methods: Behavior Models and Code Analysis
- 1.0334299 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Kofroň, Jan - Parízek, P. - Šerý, O.
On Teaching Formal Methods: Behavior Models and Code Analysis.
[Výuka formálních metod: Modely chování a analýza kódu.]
Teaching Formal Methods. Berlin: Springer, 2009 - (Gibbons, J.; Oliveira, J.), s. 144-157. Lecture Notes in Computer Science, 5846. ISBN 978-3-642-04911-8.
[TFM 2009. International Conference Teaching Formal Methods /2./. Eindhoven (NL), 02.11.2009-06.11.2009]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal methods * code analysis * teaching
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179074
Počet záznamů: 1