Methods for Software Specification Prof. Ing. Ivo Vondrak, CSc. Dept. of Computer Science Technical University of Ostrava [email protected] .
