Publication Details

Formal Specifications of Computer-Based Systems

DVOŘÁK, V. Formal Specifications of Computer-Based Systems. 2000, vol. 6, no. 11, p. 1-3.

Type

journal article

Language

English

Authors

Dvořák Václav, prof. Ing., DrSc.

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

BibTeX

@article{BUT192265,
  author="Václav {Dvořák}",
  title="Formal Specifications of Computer-Based Systems",
  year="2000",
  volume="6",
  number="11",
  pages="1--3"
}