Sciweavers

FORTE
2007

State Isomorphism in Model Programs with Abstract Data Structures

14 years 29 days ago
State Isomorphism in Model Programs with Abstract Data Structures
Margus Veanes, Juhan P. Ernits, Colin Campbell
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where FORTE
Authors Margus Veanes, Juhan P. Ernits, Colin Campbell
Comments (0)