Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

Joseph Roland Kiniry, Fintan Fairmichael

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

Søgeresultater

  • EBON: Extended BON

    Kiniry, J. R. (PI)

    01/01/200601/05/2011

    Projekter: ProjektForskning