Publication Details

Formal Specifications of Computer-Based Systems

DVOŘÁK Václav. Formal Specifications of Computer-Based Systems. Journal of Universal Computer Science. Graz: Springer Verlag, 2000, pp. 1-3. ISBN 3-540-62047-8.

Type

journal article

Language

english

Authors

Dvořák Václav, Prof. Ing., DrSc. (DCSE FEECS BUT)

Keywords

Formal specifications, Computer-based systems

Abstract

Introduction to the Special Issue of Journal of Universal Computer Science

Published

2000

Pages

1-3

Book

Journal of Universal Computer Science

Volume

Number

ISBN

3-540-62047-8

Publisher

Springer Verlag

Place

Graz, AT

BibTeX

@ARTICLE{FITPUB5667,
   author = "V\'{a}clav Dvo\v{r}\'{a}k",
   title = "Formal Specifications of Computer-Based Systems",
   pages = "1--3",
   booktitle = "Journal of Universal Computer Science",
   volume = 6,
   number = 11,
   year = 2000,
   location = "Graz, AT",
   publisher = "Springer Verlag",
   ISBN = "3-540-62047-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5667"
}