JML Reloaded
- Joseph Roland Kiniry(PI),
- Daniel Zimmerman(PI)
Project:
Research
Project status
Finished
Description
This Formal Methods Europe grant supports the organization of a series of workshops called "the JML Spec-a-thon." This grant was awarded to myself and Dr. Dan Zimmerman at the University of Washington, Tacoma in 2007.
Project Information
Project Type
Research
Project Collaborators
- University of Washington