Software Model Checking with a Combination of Explicit Values and Predicates
Metadata
Show full item record
Link to refer to this document:
Collections
- Title
- Software Model Checking with a Combination of Explicit Values and Predicates
- Author
- Bajkai, Viktória Dorina
- Hajdu, Ákos
- Date of issue
- 2019
- Access level
- Open access
- Copyright owner
- Budapest University of Technology and Economics
- Conference title
- 26th Minisymposium
- Conference place
- Budapest University of Technology and Economics
- Conference date
- January 24, 2019
- Language
- en
- Page
- 4 - 7
- Version
- Published
- Title of the container document
- Proceedings of the 26th Minisymposium
- Document type
- könyvfejezet
- Document genre
- Konferenciacikk
- University
- Budapest University of Technology and Economics
- Department
- Department of Measurement and Information Systems