Vaclav Dvorak. J.UCS Special Issue on Formal Specifications of Computer-Based Systems. J. UCS, 6(11):1052-1053, 2000. [doi]
@article{Dvorak00,
title = {J.UCS Special Issue on Formal Specifications of Computer-Based Systems},
author = {Vaclav Dvorak},
year = {2000},
url = {http://www.jucs.org/jucs_6_11/j_ucs_special_issue},
tags = {rule-based},
researchr = {https://researchr.org/publication/Dvorak00},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {6},
number = {11},
pages = {1052-1053},
}