2008 Summer School on Logic Language and Computation

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
full paper: For more information please visit Website
research:program_verification_and_software_security:home Last modified: 2008/12/15 17:57