Miroslav Sveda
1 published title
Joint Workshop on Formal Specification of Computer-Based Systems
(Contributor)
2 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