COSC6490A

User Tools

Site Tools

You are here: Concurrent Object Oriented Languages » Writing
Trace: • Why do we need software verification tools? • Writing
writing

Writing

The slides can be found here. Susan Visser's blog can be found here. She can be reached at svisser@ca.ibm.com.

writing.txt · Last modified: 2009/04/14 20:47 by franck
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki