Regisztráció és bejelentkezés

konferenciák

témák

kulcsszavak

abstraction (1) · absztrakció (1) · cegar (1) · chc (1) · concurrent software (1) · formal verification (1) · horn-klózok (1) · megoldó (1) · modelellenőrzés (1) · partial order reduction (1) · szolver (1) · verifikáció (1)


Betöltés folyamatban, kis türelmet...

dolgozatok

Összesen 2 dolgozat. Összes dolgozat »

helyezés szerint

különdíj szerint

évek szerint

dolgozatok