JML Reloaded

  • Kiniry, Joseph Roland (PI)
  • Zimmerman, Daniel (PI)

    Projekter: ProjektForskning

    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.
    AkronymJML Spec-a-thon
    StatusAfsluttet
    Effektiv start/slut dato21/10/200701/01/2012

    Samarbejdspartnere

    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.