Publication Details

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.

Type

conference paper

Language

English

Authors

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

Published

1996

Pages

197–200

ISBN

80-214-0768-9

Place

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