Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowychKurkowski MirosławAusverkauft4,3Bewachen
