A Formalisation of the Soccer Substitution Rules.

Yves Ledru

Browse the full CaiSE paper archive.