Detail publikace

High-Level Specification and Verification as a New Design Methodology

DRÁBEK, V. High-Level Specification and Verification as a New Design Methodology. Brno: 1996. p. 197-200. ISBN: 80-214-0768-9.

Typ

článek ve sborníku konference

Jazyk

anglicky

Autoři

Drábek Vladimír, doc. Ing., CSc. (FIT)

Rok

1996

Strany

197–200

ISBN

80-214-0768-9

Místo

Brno

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