Integration of software specification techniques for applications in engineeringHartmut EhrigVyprodáno4,3Pohlídat