Towards an efficient management of change in an evolutionary formal software development
@unpublished{AuHu-00-a, author = {Autexier, Serge and Hutter, Dieter}, title = {Towards an efficient management of change in an evolutionary formal software development}, publisher = {Universit\"at Kiel}, year = {2000}, }