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

Дата
Авторы
Dvořák,Václav
Sveda,Miroslav
Rattray,Charles
Rozenblit,Jerzy
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science