Joint Workshop on Formal Specification of Computer-Based Systems /
Joint Workshop on Formal Specification of Computer-Based Systems(2002 :Lund, Sweden)
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 : University of Stirling, Dept. of Computing Science and Mathematics,
2002.
"Lund, Sweden, April 10-11, 2002."
Includes bibliographical references.
Operating systems (Computers)