Monday, November 3, 2008

Paper Poster

Okay, they finally posted my OOPSLA paper on the ACM web site. The official address is:
"Verifying Correct Usage of Atomic Blocks and Typestate"
Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)