Tiago Massoni‎ > ‎JmlOk2‎ > ‎

Fostering DBC Adoption: Writing and Debugging Contracts

In this page, we group links for the main studies performed in the current PhD thesis.