Contract Automata with Reparations.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik

Browse the full JURIX paper archive.