Sciweavers

ESOP
2008
Springer

Verification of Equivalent-Results Methods

14 years 1 months ago
Verification of Equivalent-Results Methods
K. Rustan M. Leino, Peter Müller
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where ESOP
Authors K. Rustan M. Leino, Peter Müller
Comments (0)