author : Ernie Cohen

Short works

• Asynchronous progress. 2003. (In Programming Methodology )
• TAPS: the last few slides. 2003. (In Formal Aspects of Security )