Publication Details

Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2004. p. 0-0. ISBN: 1-85769-1970.
Czech title
Sborník IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Type
conference proceedings
Language
English
Authors
Rattray Charles
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Rozenblit Jerzy
Keywords

Formal specification, formal semantics, verification, analysis, design

Abstract

Formal Specifications of Computer-Based Systems

Published
2004
Pages
64
ISBN
1-85769-1970
Publisher
University of Stirling
Place
Stirling
BibTeX 
@proceedings{BUT64179,
  editor="Charles {Rattray} and Miroslav {Švéda} and Jerzy {Rozenblit}",
  title="Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2004",
  pages="64",
  publisher="University of Stirling",
  address="Stirling",
  isbn="1-85769-1970"
}
Back to top