Annotation Inference for Separation Logic Based Verifiers.

Frdric Vogels, Bart Jacobs, Frank Piessens, Jan Smans

Browse the full FORTE paper archive.