Sciweavers

Share
PPDP
2010
Springer

On theorem proving for program checking: historical perspective and recent developments

11 years 8 months ago
On theorem proving for program checking: historical perspective and recent developments
Maria Paola Bonacina
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where PPDP
Authors Maria Paola Bonacina
Comments (0)
books