Joint Workshop on Formal Specification of Computer-Based Systems /
Joint Workshop on Formal Specification of Computer-Based Systems(2000 :Edinburgh, Scotland)
Rattray, C.(Charles),1938-
Sveda, Miroslav.
IEEE Computer Society.Technical Committee on the Engineering of Computer Based Systems.
IEEE Task Force on Requirements Engineering.
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,
2000.
"Edinburgh, Scotland, April 6-7, 2000."
Includes bibliographical references.
Operating systems (Computers)