Model Checking and Test Generation: Towards a Combined Approach to Software Verification
Date
Type
könyvfejezet
Language
en
Reading access rights:
Open access
Rights Holder
Budapest University of Technology and Economics
Conference Date
January 24, 2019
Conference Place
Budapest University of Technology and Economics
Conference Title
26th Minisymposium
Container Title
Proceedings of the 26th Minisymposium
Department
Department of Measurement and Information Systems
Version
Published
First Page
12
Gender
Konferenciacikk
University
Budapest University of Technology and Economics