A Theory of Pointers for the UTP.

Will Harwood, Ana Cavalcanti, Jim Woodcock

Browse the full ICTAC paper archive.