SDL specification and verification of universal personal computing: with Object GEODE.

Maria Tr, Jinsong Zhu, Victor C. M. Leung

Browse the full FORTE paper archive.