Reducing Behavioural to Structural Properties of Programs with Procedures.

Dilian Gurov, Marieke Huisman

Browse the full VMCAI paper archive.