Sciweavers

ICTAC
2010
Springer

Invariants and Well-Foundedness in Program Algebra

13 years 8 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)