Number of the records: 1
On Teaching Formal Methods: Behavior Models and Code Analysis
- 1.
SYSNO 0334299 Title On Teaching Formal Methods: Behavior Models and Code Analysis Title Výuka formálních metod: Modely chování a analýza kódu Author(s) Kofroň, Jan (UIVT-O)
Parízek, P. (CZ)
Šerý, O. (CZ)Source Title Teaching Formal Methods. S. 144-157. - Berlin : Springer, 2009 / Gibbons J. ; Oliveira J.N. Conference TFM 2009. International Conference Teaching Formal Methods /2./, Eindhoven, 02.11.2009-06.11.2009 Document Type Konferenční příspěvek (zahraniční konf.) Grant 1ET400300504 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) CEZ AV0Z10300504 - UIVT-O (2005-2011) Language eng Country DE Keywords formal methods * code analysis * teaching Permanent Link http://hdl.handle.net/11104/0179074
Number of the records: 1