Pavel Parizek
From MaRDI portal
Person:2796056
Available identifiers
zbMath Open parizek.pavelDBLP60/3424WikidataQ57446833 ScholiaQ57446833MaRDI QIDQ2796056
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Predicate Abstraction in Program Verification: Survey and Current Trends | 2019-10-24 | Paper |
| Hybrid Analysis for Partial Order Reduction of Programs with Arrays | 2016-03-23 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Pavel Parizek
