Language-Theoretic Abstraction Refinement

Long, Zhenyue and Calin, Georgel and Majumdar, Rupak and Meyer, Roland
(2012) Language-Theoretic Abstraction Refinement.
In: Proc. of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item