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

Joseph Roland Kiniry, Fintan Fairmichael

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Filter
Finished

Search results

  • EBON: Extended BON

    Kiniry, J. R. (PI)

    01/01/2006 → 01/05/2011

    Project: Research