swMATH9875MaRDI QIDQ21854FDOQ21854
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-12002-2_22
Cited In (11)
- Splitting via Interpolants
- Proof tree preserving tree interpolation
- Predicate abstraction for program verification
- Complete instantiation-based interpolation
- ACL2s
- SymmPa
- Threader
- Wolverine
- monabs
- Lost in abstraction: monotonicity in multi-threaded programs
- Structural transformations for data-enriched real-time systems
This page was built for software: SLAB
