Publication detail

High-Level Specification and Verification as a New Design Methodology

DRÁBEK, V.

Original Title

High-Level Specification and Verification as a New Design Methodology

Type

article in a collection out of WoS and Scopus

Language

English

Authors

DRÁBEK, V.

Released

1. 1. 1996

Location

Brno

ISBN

80-214-0768-9

Pages from

197

Pages to

200

Pages count

4

BibTex

@inproceedings{BUT192322,
  author="Vladimír {Drábek}",
  title="High-Level Specification and Verification as a New Design Methodology",
  year="1996",
  pages="197--200",
  address="Brno",
  isbn="80-214-0768-9"
}