Program specification and transformation



Back to Zhaohui Luo's Publications page.