An unified approach of program verification
  • Metaadatok
Tartalom: http://hdl.handle.net/10831/66241
Archívum: EDIT
Gyűjtemény: Publikációk
MTMT Tudományos publikációk
Tudományos publikációk (IK)
Cím:
An unified approach of program verification
Létrehozó:
Gregorics, Tibor
Borsi, Zsolt
Dátum:
2017
Típus:
info:eu-repo/semantics/article
Formátum:
application/pdf
Azonosító:
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
Létrehozó:
info:eu-repo/semantics/openAccess