Počet záznamů: 1
On Teaching Formal Methods: Behavior Models and Code Analysis
- 1.KOFROŇ, J., PARÍZEK, P., ŠERÝ, O. On Teaching Formal Methods: Behavior Models and Code Analysis. In: GIBBONS, J., OLIVEIRA, J.N., eds. Teaching Formal Methods. Berlin: Springer, 2009, s. 144-157. Lecture Notes in Computer Science, 5846. ISBN 978-3-642-04911-8. Dostupné z: doi: 10.1007/978-3-642-04912-5_10
Počet záznamů: 1