Publication detail

Formal Specifications of Computer-Based Systems - J.UCS Special Issue

DVOŘÁK, V. ŠVÉDA, M. RATTRAY, C. ROZENBLIT, J.

Original Title

Formal Specifications of Computer-Based Systems - J.UCS Special Issue

Type

journal article - other

Language

English

Original Abstract

Introduction to the Special Issue of Journal of Universal Computer Science related to the 4th Workshop on Formal Specification of Computer-Based Systems

Keywords

Formal specifications, Computer-based systems

Authors

DVOŘÁK, V.; ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J.

RIV year

2004

Released

6. 1. 2004

ISBN

0948-6968

Periodical

Journal of Universal Computer Science

Year of study

9

Number

11

State

Republic of Austria

Pages from

1258

Pages to

1260

Pages count

3

BibTex

@article{BUT45713,
  author="Václav {Dvořák} and Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
  title="Formal Specifications of Computer-Based Systems - J.UCS Special Issue",
  journal="Journal of Universal Computer Science",
  year="2004",
  volume="9",
  number="11",
  pages="1258--1260",
  issn="0948-6968"
}