Bajkai Viktória Dorina OData támogatás

Témái

Absztrakciós módszerek kombinálása szoftver-modellellenőrzéshez

Hajdu Ákos (MIT)
BSc képzés, mérnök informatikus szak, 2018-2019. ősz