Refinement-based synthesis of correct contract model decompositions.

Thi Thieu Hoa Le, Roberto Passerone

Browse the full MEMOCODE paper archive.