Search results
-
2011
Verified Visualisation of Textual Modelling Languages
Kiniry, J. R. & Fairmichael, F., 2011, In: Electronic Communications of the EASST. 36, 17 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open Access -
2009
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
Kiniry, J. R. & Fairmichael, F., 2009, In: Lecture Notes in Computer Science. 5592Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review