The VSE Refinement Method in Hets

@article{pub6637,
    author = {

Codescu, Mihai
 and 

Langenstein, Bruno
 and 

Maeder, Christian
 and 

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