Verifikation einer Funktionsblockbibliothek für die ProzessautomatisierungMarc SchulzVypredaná4,3Postrážiť