Miroslav Sveda
2 published titles
Joint Workshop on Formal Specification of Computer-Based Systems
(Contributor)
3 editions
- ISBN: 1857691210
- University of Stirling, Dept. of Computing Science and Mathematics
- 2000
- Details
- ISBN: 185769144X
- University of Stirling, Dept. of Computing Science and Mathematics
- 2001
- Details
- ISBN: 1857691695
- University of Stirling, Dept. of Computing Science and Mathematics
- 2002
- Details
5th Joint Workshop on Formal Specification of Computer-Based Systems : Brno, Czech Republic, May 27, 2004
(Contributor)
1 edition
- ISBN: 1857691970
- Department of Computing Science, University of Stirling
- 2004
- Details
