ALICE: an assertion language for integrity constraint expression.

Susan Darling Urban

Browse the full COMPSAC paper archive.