Data structures for symbolic multi-valued model-checking
Formal Methods in System Design
Bounded model checking of infinite state systems
Formal Methods in System Design
A logic of reachable patterns in linked data-structures
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Fluid updates: beyond strong vs. weak updates
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
| Hi-index | 0.00 |