Project Details
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.
| Acronym | JML Spec-a-thon |
|---|---|
| Status | Finished |
| Effective start/end date | 21/10/2007 → 01/01/2012 |
Collaborative partners
- IT University of Copenhagen (lead)
- University of Washington (Project partner)
Keywords
- JML
- spec-a-thon
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.