Number of the records: 1
On Teaching Formal Methods: Behavior Models and Code Analysis
- 1.0334299 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal methods * code analysis * teaching
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0179074
Number of the records: 1