JUCS - Journal of Universal Computer Science 6(11): 1052-1053, doi: 10.3217/jucs-006-11
J.UCS Special Issue on Formal Specifications of Computer-Based Systems
expand article infoVáclav Dvořák‡
‡ Brno University of Technology, Czech Republic

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

© Václav Dvořák.
This article is freely available under the J.UCS Open Content License.
Citation: Dvořák V (2000) J.UCS Special Issue on Formal Specifications of Computer-Based Systems. JUCS - Journal of Universal Computer Science 6(11): 1052-1053. https://doi.org/10.3217/jucs-006-11
Open Access