Extracting Notional Machines for Databases.

Daphne Miedema, George Fletcher, Fenia Aivaloglou, Leonard Busuttil, Laura Farinetti, Martin Goodfellow, Giovanna Guerrini, Georgiana Haldeman, Yuhan Pan, Sujeeth Goud Ramagoni, Chandrika Satyavolu, Raja Sooriamurthi, Xiaoying Tu, Liviana Tudor

Browse the full ITiCSE paper archive.