5th Joint Workshop on Formal Specification of Computer-Based Systems : Brno, Czech Republic, May 27, 2004 /
Joint Workshop on Formal Specification of Computer-Based Systems(5th :2004 :Brno, Czech Republic)
Rattray, C.(Charles),1938-
Sveda, Miroslav.
Rozenblit, Jerzy.
IEEE Computer Society.Technical Committee on the Engineering of Computer Based Systems.
International Federation for Information Processing.Working Group 10.1.
University of Stirling.Department  of Computing Science and Mathematics.
Stirling : Department of Computing Science, University of Stirling,
2004.
At head of title: IEEE TC-ECBS and IFIP WG10.1.
Includes bibliographical references.
Operating systems (Computers)