Integration of software specification techniques for applications in engineeringHartmut EhrigVypredaná4,3Postrážiť