Formal Specification of Active Database Functionality: A Survey

Norman W Paton, Jack Campin, Alvaro A A Fernandes, M Howard Williams, Timos K Sellis (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this