Vol-1693⫷ Vol-1694 ⫸Vol-1695
urn:nbn:de:0074-1694-0


Vol-1694/FlexMDE2016_paper_6⫷Vol-1694/FlexMDE2016_paper_7⫸Vol-1694/FlexMDE2016_paper_3
Thomas CalderYngve Lamo

A Bottom Up Approach to Model Based Program Validation