Publication detail

Formal Specifications of Computer-Based Systems

DVOŘÁK, V.

Original Title

Formal Specifications of Computer-Based Systems

Type

journal article - other

Language

English

Original Abstract

Introduction to the Special Issue of Journal of Universal Computer Science

Keywords

Formal specifications, Computer-based systems

Authors

DVOŘÁK, V.

Released

1. 1. 2000

Publisher

Springer Verlag

Location

Graz

ISBN

3-540-62047-8

Book

Journal of Universal Computer Science

Pages from

1

Pages to

3

Pages count

3

BibTex

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