Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

symbolic execution

Klíčová slova abecedně | Klíčová slova dle četnosti

Znovupoužití známých výsledků SMT dotazů
 (Martin Kučera)

2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/cluo1/ | Informatika / Matematická informatika | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Znovupoužití známých výsledků SMT dotazů
 (Martin Kučera)

2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/cluo1/ | Informatika / Matematická informatika | Práce na příbuzné téma

Znovupoužití známých výsledků SMT dotazů
 (Martin Kučera)

2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/cluo1/ | Informatika / Matematická informatika | Práce na příbuzné téma