An unified approach of program verification

Content:	http://hdl.handle.net/10831/66241
Archive:	EDIT
Set:	Publikációk MTMT Tudományos publikációk Tudományos publikációk (IK)
Title:	An unified approach of program verification
Creator:	Gregorics, Tibor Borsi, Zsolt
Date:	2017
Type:	info:eu-repo/semantics/article
Format:	application/pdf
Identifier:	http://hdl.handle.net/10831/66241 doi:10.1515/ausi-2017-0005 elte:3283146 elte:1 elte:ACTA UNIV SAP INFORM elte:ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA elte:9 elte:10082783 LOMS: https://edit.elte.hu/xmlui/bitstream/10831/66241/1/3283146.pdf
Creator:	info:eu-repo/semantics/openAccess

Repository Common Search