Formal Specification of Computer-Based Systems

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