Combining Theorem proving with Static Analysis for Data Structure Consistency

Zee, KarenLam, PatrickKuncak, ViktorRinard, Martin2007-08-212007-08-212007-08-212004https://infoscience.epfl.ch/handle/20.500.14299/10381Combining Theorem proving with Static Analysis for Data Structure Consistencytext::conference output::conference proceedings::conference paper