Versi liveCD dari koleksi perpustakaan STIKOM DB Digital Library Alamat: Jln. Jenderal Sudirman Info lebih lanjut
Path: Home � Komentar
A formal framework for verifying IKA property of protocols