Software Model Checking with a Combination of Explicit Values and Predicates

Contributor - Author	Bajkai, Viktória Dorina
Contributor - Author	Hajdu, Ákos
Date - Accessioned	2021-03-05T15:34:53Z
Date - Available	2021-03-05T15:34:53Z
Date - Issued	2019
Identifier - URI	http://hdl.handle.net/10890/15172
Language	en
Title	Software Model Checking with a Combination of Explicit Values and Predicates
Type	könyvfejezet
Accessrights	Open access
Rightsholder	Budapest University of Technology and Economics
Conference Date	January 24, 2019
Conference Place	Budapest University of Technology and Economics
Conference Title	26th Minisymposium
Container Date Issued	2019
Container Publisher	Budapest University of Technology and Economics
Container Publisher Place	Online
Container Title	Proceedings of the 26th Minisymposium
Department	Department of Measurement and Information Systems
Description Version	Published
First Page	4
Last Page	7
Type Type	Konferenciacikk
University	Budapest University of Technology and Economics

Files

Now showing 1 - 1 of 1