External Integrity Checking with Invariants.

Hiromasa Shimada, Tatsuo Nakajima

Browse the full RTCSA paper archive.