Publication result detail

Formal Specifications of Computer-Based Systems

DVOŘÁK, V.

Original Title

Formal Specifications of Computer-Based Systems

English Title

Formal Specifications of Computer-Based Systems

Type

Peer-reviewed article not indexed in WoS or Scopus

Original Abstract

Introduction to the Special Issue of Journal of Universal Computer Science

English abstract

Introduction to the Special Issue of Journal of Universal Computer Science

Keywords

Formal specifications, Computer-based systems

Key words in English

Formal specifications, Computer-based systems

Authors

DVOŘÁK, V.

Released

01.01.2000

Publisher

Springer Verlag

Location

Graz

ISBN

3-540-62047-8

Book

Journal of Universal Computer Science

Volume

6

Number

11

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"
}