Sciweavers

ICFP
2010
ACM

Program verification through characteristic formulae

13 years 10 months ago
Program verification through characteristic formulae
Arthur Charguéraud
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2010
Where ICFP
Authors Arthur Charguéraud
Comments (0)