Model Checking and Test Generation: Towards a Combined Approach to Software Verification
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/15174
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:
Model Checking and Test Generation: Towards a Combined Approach to Software Verification
Létrehozó:
Dobos-Kovács, Mihály
Vörös, András
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ó: