Počet záznamů: 1
On Teaching Formal Methods: Behavior Models and Code Analysis
- 1.Kofroň, Jan - Parízek, P. - Šerý, O.
On Teaching Formal Methods: Behavior Models and Code Analysis.
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]
http://hdl.handle.net/11104/0179074
Počet záznamů: 1