Publication Details
Formal Specifications of Computer-Based Systems - J.UCS Special Issue
ŠVÉDA, M., RATTRAY, C., ROZENBLIT, J. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, 2004, vol. 10, no. 10, p. 1354-1356. ISSN: 0948-6968.
Czech title
Formální specifikace systémů založených na počítačích - speciální číslo časopisu J.UCS
Type
journal article
Language
English
Authors
Keywords
Formal specifications, Computer-based systems
Abstract
Introduction to the Special Issue of Journal of Universal Computer Science related to the 5th Workshop on Formal Specification of Computer-Based Systems
Published
2004
Pages
1354–1356
Journal
Journal of Universal Computer Science, vol. 10, no. 10, ISSN 0948-6968
Book
Journal of Universal Computer Science
BibTeX
@article{BUT45736,
author="Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
title="Formal Specifications of Computer-Based Systems - J.UCS Special Issue",
journal="Journal of Universal Computer Science",
year="2004",
volume="10",
number="10",
pages="1354--1356",
issn="0948-6968"
}