Software Model Checking with a Combination of Explicit Values and Predicates
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/15172
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, 2019, 26th
Cím:
Software Model Checking with a Combination of Explicit Values and Predicates
Létrehozó:
Bajkai, Viktória Dorina
Hajdu, Ákos
Dátum:
2021-03-05T15:34:53Z
2021-03-05T15:34:53Z
2019
Nyelv:
angol
Típus:
könyvfejezet
Formátum:
application/pdf
Azonosító: