Using First-Order Theorem Provers in the Jahob Data Structure Verification System

Bouillaguet, CharlesKuncak, ViktorWies, ThomasZee, KarenRinard, Martin2007-08-212007-08-212007-08-21200710.1007/978-3-540-69738-1_5https://infoscience.epfl.ch/handle/20.500.14299/10401Using First-Order Theorem Provers in the Jahob Data Structure Verification Systemtext::conference output::conference proceedings::conference paper