Telecharger Cours

IT-Sicherheit / Informationstechnik - Bachelor (1-Fach, PO 2022)

Proof assistants have been used to prove the correctness and security of realistic compilers, operating systems, cryptographic libraries, or smart contracts ...



Download