Abstraction-based partial deduction for solving inverse problems – a transformational approach to software verification (1999)

by R Glück, M Leuschel
Venue:In Proceedings of the Third International Ershov Conference on Perspectives of System Informatics, LNCS 1755