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
expand article infoVá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
Open Access