JUCS - Journal of Universal Computer Science 10(10): 1354-1356, doi: 10.3217/jucs-010-10
Formal Specification of Computer-Based Systems
Miroslav Sveda, Charles Rattray‡, Jerzy W. Rozenblit§‡ University of Stirling, United Kingdom§ University of Arizona, United States of America
Corresponding author: Miroslav Sveda ( sveda@fit.vutbr.cz ) © Miroslav Sveda, Charles Rattray, Jerzy Rozenblit. This article is freely available under the J.UCS Open Content License. Citation:
Sveda M, Rattray C, Rozenblit JW (2004) Formal Specification of Computer-Based Systems. JUCS - Journal of Universal Computer Science 10(10): 1354-1356. https://doi.org/10.3217/jucs-010-10 |  |