Login / Signup

A theory of retractable and speculative contracts.

Franco BarbaneraIvan LaneseUgo de'Liguoro
Published in: Sci. Comput. Program. (2018)
Keyphrases