Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowychKurkowski MirosławÉpuisé4,3Prévenez-moi
