Modal Abstractions for Smart Contract Validation.

Javier Godoy, Margarita Capretto, Martn Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, Csar Snchez, Sebastin Uchitel

Browse the full MODELS paper archive.