Login / Signup

Incremental Reasoning for Object Oriented Systems.

Neelam SoundarajanStephen Fridella
Published in: Essays in Memory of Ole-Johan Dahl (2004)
Keyphrases