Projektdetaljer
Beskrivelse
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.
| Akronym | JML Spec-a-thon |
|---|---|
| Status | Afsluttet |
| Effektiv start/slut dato | 21/10/2007 → 01/01/2012 |
Samarbejdspartnere
- IT-Universitetet i København (leder)
- University of Washington (Projektpartner)
Emneord
- JML
- spec-a-thon
Fingerprint
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.