Extended BON

Kiniry, Joseph Roland (PI)

Project: Research

1 Journal article
1 Conference article

1 results

Filter

2009
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
Kiniry, J. R. & Fairmichael, F., 2009, In: Lecture Notes in Computer Science. 5592
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review