Compositional Proofs by Partial Specification of Processes.

Kim Guldstrand Larsen, Bent Thomsen

Browse the full MFCS paper archive.