A bottom up approach to model based program validation
Peer reviewed, Journal article
Permanent lenke
http://hdl.handle.net/11250/2482190Utgivelsesdato
2016Metadata
Vis full innførselSamlinger
Originalversjon
Calder TP, Lamo Y. A bottom up approach to model based program validation. CEUR Workshop Proceedings. 2016;1694:12-21Beskrivelse
-