Mechanizing the transformation of higher order algebraic specifications for the development of software systemsSönke Johannes MagnussenUitverkocht4,3Volgen
