At head of title: IEEE TC-ECBS and IFIP WG10.1.
5th Joint Workshop on Formal Specification of Computer-Based Systems : Brno, Czech Republic, May 27, 2004. ISBN 1857691970. Published by Department of Computing Science, University of Stirling in 2004. Publication and catalogue information, links to buy online and reader comments.