Paper accepted at FASE

December 18, 2013
in terms

Our paper on target-oriented model finding has been accepted at the 17th International Conference on Fundamental Approaches to Software Engineering (FASE).