Detail publikace

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

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

Originální název

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

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

Originální abstrakt

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

Klíčová slova

Formal specifications, Computer-based systems

Autoři

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

Rok RIV

2004

Vydáno

6. 1. 2004

ISSN

0948-6968

Periodikum

Journal of Universal Computer Science

Ročník

9

Číslo

11

Stát

Rakouská republika

Strany od

1258

Strany do

1260

Strany počet

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