Sciweavers

71
Voted
ICTAC
2010
Springer

Invariants and Well-Foundedness in Program Algebra

14 years 6 months ago
Invariants and Well-Foundedness in Program Algebra
Ian J. Hayes
Added 04 Mar 2011
Updated 04 Mar 2011
Type Journal
Year 2010
Where ICTAC
Authors Ian J. Hayes
Comments (0)