Login / Signup

Data Refinement Refined.

Jifeng HeC. A. R. HoareJeff W. Sanders
Published in: ESOP (1986)
Keyphrases