Result Details
Formal Specifications of Computer-Based Systems
DVOŘÁK, V. Formal Specifications of Computer-Based Systems. 2000, vol. 6, no. 11, p. 1-3.
Type
journal article
Language
English
Authors
Abstract
Introduction to the Special Issue of Journal of Universal Computer Science
Keywords
Formal specifications, Computer-based systems
Published
2000
Pages
1–3
Book
Journal of Universal Computer Science
Volume
6
Number
11
ISBN
3-540-62047-8
Publisher
Springer Verlag
Place
Graz
BibTeX
@article{BUT192265,
author="Václav {Dvořák}",
title="Formal Specifications of Computer-Based Systems",
year="2000",
volume="6",
number="11",
pages="1--3"
}
Research groups
Departments