author: Tyng-Ruey Chuang and Shin-Cheng Mu publication date: 2008 cite this with: Tyng-Ruey Chuang and Shin-Cheng Mu. 2008 Summer School on Logic, Language, and Computation. Advanced Programming Languages and Type Systems. 2008. link this with: http://tsm.iis.sinica.edu.tw/research/program_verification_and_software_security/ copyright: all rights reserved category: Program Verification tag: full paper: For more information please visit Website
research:program_verification_and_software_security:home Last modified: 2008/12/15 17:57