A bottom up approach to model based program validation
dc.contributor.author | Calder, Thomas Peter | |
dc.contributor.author | Lamo, Yngve | |
dc.date.accessioned | 2018-02-01T15:18:31Z | |
dc.date.available | 2018-02-01T15:18:31Z | |
dc.date.issued | 2016 | |
dc.identifier.citation | Calder TP, Lamo Y. A bottom up approach to model based program validation. CEUR Workshop Proceedings. 2016;1694:12-21 | |
dc.identifier.issn | 1613-0073 | |
dc.identifier.uri | http://hdl.handle.net/11250/2482190 | |
dc.description | - | |
dc.language.iso | eng | |
dc.relation.ispartof | CEUR Workshop Proceedings | |
dc.relation.uri | http://ceur-ws.org/Vol-1694/ | |
dc.title | A bottom up approach to model based program validation | |
dc.type | Peer reviewed | |
dc.type | Journal article | |
dc.date.updated | 2017-10-06T08:44:53Z | |
dc.identifier.cristin | 1426025 |