Mechanizing the transformation of higher order algebraic specifications for the development of software systemsSönke Johannes MagnussenVypredaná4,3Postrážiť
