GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers.

Alexander Knppel, Thomas Thm, Ina Schaefer

Browse the full ICSE paper archive.