Login / Signup

Reasoning about Propagation of Properties over Regions.

Kazuko Takahashi
Published in: J. Univers. Comput. Sci. (2003)
Keyphrases