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

Václav Dvořák; Miroslav Sveda; Charles Rattray; Jerzy Rozenblit

doi:10.3217/jucs-009-11

JUCS - Journal of Universal Computer Science 9(11): 1258-1260, doi: 10.3217/jucs-009-11

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

Václav Dvořák^‡, Miroslav Sveda^§, Charles Rattray^|, Jerzy W. Rozenblit^¶

‡ Brno University of Technology, Czech Republic§ Brno University of Technology, Brno, Czech Republic| University of Stirling, United Kingdom¶ University of Arizona, United States of America

Corresponding author: Václav Dvořák ( dvorak@fit.vutbr.cz )

This article is freely available under the J.UCS Open Content License.

Citation: Dvořák V, Sveda M, Rattray C, Rozenblit JW (2003) Formal Specifications of Computer-Based Systems - J.UCS Special Issue. JUCS - Journal of Universal Computer Science 9(11): 1258-1260. https://doi.org/10.3217/jucs-009-11