Szimbolikus végrehajtó keretrendszer kiegészítése constraint építő mechanizmusokkal

Kádár, István (2014) Szimbolikus végrehajtó keretrendszer kiegészítése constraint építő mechanizmusokkal. Masters, Szegedi Tudományegyetem.

	PDF 2013_Kádár_István_KAIRAAT_SZE_SZ.pdf Hozzáférés joga: SZTE designated computers only Download (385kB)
	Archive (TGZ) 2014_kadar_istvan_melleklet.tgz Hozzáférés joga: SZTE designated computers only Download (6MB)

English title

Extending a Symbolic Execution Engine by Constraint Building Mechanisms

Institution

Szegedi Tudományegyetem

Faculty

Faculty of Science and Informatics

Department

Szoftverfejlesztés Tanszék

Discipline

Natural Sciences

Specialization

programtervező informatikus

Supervisor(s)

Item Type:	Thesis (Masters)
Subjects:	01. Natural sciences
Depositing User:	TTIK szerkesztő
Date Deposited:	2015. Sep. 24. 15:32
Last Modified:	2021. Dec. 16. 14:26
URI:	https://diploma.bibl.u-szeged.hu/id/eprint/52863

Actions (login required)

View Item