Název:
Verification of DESIGNER Functions
Autoři:
Khailova, Natalia Typ dokumentu: Výzkumné zprávy
Rok:
1999
Jazyk:
eng
Edice: Research Report, svazek: 1947 Číslo projektu: AV0Z1075907 (CEP)
Instituce: Ústav teorie informace a automatizace AV ČR
(web)
Informace o dostupnosti dokumentu:
Dokument je dostupný v repozitáři Akademie věd. Původní záznam: http://hdl.handle.net/11104/0130111