A Synergistic Interweaving of Formal and Informal Methods.

Wing Lok Yeung, Karl R. P. H. Leung

Browse the full COMPSAC paper archive.