Show simple item record

Micskei, Zoltán
Hajdu, Ákos
2020-10-16T08:46:56Z
2020-10-16T08:46:56Z
2020
http://hdl.handle.net/10890/13523
enhu_HU
Effective domain-specific formal verification techniqueshu_HU
Hatékony szakterület-specifikus formális ellenőrzési technikákhu_HU
Disszertációhu
Informatikai Tudományok Doktori Iskolahu_HU
Villamosmérnöki és Informatikai Karhu_HU
2020-11-24
000712339
Budapesti Műszaki és Gazdaságtudományi Egyetemhu_HU
Doktori (Ph.D.) értekezés / Ph.D. Thesishu_HU
K-9724


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record