Login / Signup

A collaborative framework for generating probabilistic contracts.

Fabio MartinelliAndrea SaracinoDaniele SgandurraAlessandro Aldini
Published in: CTS (2013)
Keyphrases