Publications
Export 2 results:
[ Author] Title Type Year Filters: Author is Karine Even-Mendoza [Clear All Filters]
Lattice-based SMT for program verification,
, International Conference on Formal Methods and Models for System Design, (MEMOCODE), (2019)
Lattice-Based Refinement in Bounded Model Checking,
, VSTTE, 07/2018, (2018)