Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation.

Published in: BDA (1996)

Keyphrases