Leseprobe: Formal Verification of Concurrent Embedded Software

Zum BoD Buchshop