Formal Specification of a Safe ALGEBRA - "A".

Lejla Rovcanin, John Murphy

Browse the full ADBIS paper archive.