Towards Language Independent (Dynamic) Symbolic Execution
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/15213
Archívum: Műegyetem Digitális Archívum
Gyűjtemény: 1. Tudományos közlemények, publikációk
Konferenciák gyűjteményei
BME MIT PhD Minisymposium
BME MIT PhD Minisymposium, 2017, 24th (MINISY@DMIS 2017)
Cím:
Towards Language Independent (Dynamic) Symbolic Execution
Létrehozó:
Klikovits, Stefan
Gonzalez-Berges, Manuel
Buchs, Didier
Dátum:
2021-04-08T08:29:19Z
2021-04-08T08:29:19Z
2017
Nyelv:
angol
Típus:
könyvfejezet
Formátum:
application/pdf
Azonosító: