Items where Author is "Dragoi, Cezara"
 |
The system is temporarily closed to updates for reporting purpose. |
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Cirisci, Berk and Enea, Constantin and Farzan, Azadeh and Mutluergil, Süha Orhun (2023) A pragmatic approach to stateful partial order reduction. In: 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, Boston, MA, USA