A Logical Framework for Modelling eMAS

Authors

V. Dahl, Pierangelo Dell'Acqua, Luís Moniz Pereira, P. Wadler,