Number of the records: 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. 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. Available: doi: 10.1007/978-3-642-04912-5_10
Number of the records: 1