Scalability of Deductive Verification Depends on Method Call Treatment.

Alexander Knppel, Thomas Thm, Carsten Pardylla, Ina Schaefer

Browse the full ISoLA paper archive.