60
Voted
AMAST
2008
Springer
15 years 11 days ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...