Tamer Elsharnouby

Graduation Year: 
2005
Dissertation: 
SeSFJava: A Framework for Design and Assertion-Checking for Concurrent Systems