Tightening a Contract Refinement.

Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta

Browse the full SEFM paper archive.