Two safety patterns: Safety Assertion and Safety Assertion Enforcer.

Eduardo B. Fernndez, Brahim Hamid

Browse the full EuroPLop paper archive.