Detail publikace

High-Level Specification and Verification as a New Design Methodology

DRÁBEK, V.

Originální název

High-Level Specification and Verification as a New Design Methodology

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Autoři

DRÁBEK, V.

Vydáno

1. 1. 1996

Místo

Brno

ISBN

80-214-0768-9

Strany od

197

Strany do

200

Strany počet

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