Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowychKurkowski MirosławVypredaná4,3Postrážiť
