An Object Logic for Object Base Capable of Version Management.

Naoko Izumi, Takuya Katayama

Browse the full SEKE paper archive.