keynote rethinking compositionality composing proofs from program behaviours

Name: keynote rethinking compositionality composing proofs from program behaviours
Uploaded: Aug 20, 2019
Description: keynote rethinking compositionality composing proofs from program behaviours