Event
Semantic directed software analysis
Thursday, January 23, 2003 14:00
McConnell Engineering Building
3480 rue University, Montreal, QC, H3A 0E9, CA
Adrian Marcus, Kent State University