Home
Group Members
Publications/Talks
Funding
JML Spec-a-thons
Inaugural Spec-a-thon
Local Accommodations
Attendees
Schedule
Keynote Address
Second Spec-a-thon
Third Spec-a-thon
Software
Applied Formal Methods Group
Institute of Technology
University of Washington Tacoma
Inaugural Spec-a-thon Attendees
Organizers:
Dan Zimmerman
Joe Kiniry
Registered Attendees:
Patrice Chalin
David Cok
Gary Leavens
Jooyong Lee
Wojciech Mostowski
Robby
Mark Sebern
Home
/
JML Spec-a-thons
/
Inaugural Spec-a-thon
/
Attendees
/