Verifikation einer Funktionsblockbibliothek für die ProzessautomatisierungMarc SchulzAgotado4,3Notifícame