State Isomorphism in Model Programs with Abstract Data Structures.

Margus Veanes, Juhan P. Ernits, Colin Campbell

Browse the full FORTE paper archive.