The VSE Refinement Method in Hets

@article{pub6916,
    author = {

Codescu, Mihai
 and 

Langenstein, Bruno
 and 

Maeder, Christian
 and 

Mossakowski, Till
},
    title = {The VSE Refinement Method in Hets},
    year = {2013},
    journal = {Electronic Communications of the EASST}
}