A PVS Approach to Verifying ORA-SS Data Models.

Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves

Browse the full SEKE paper archive.