PiET: Pi Calculus Equivalences Tester 1.0

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara

Tentang PiET: Pi Calculus Equivalences Tester

PiET adalah alat verifikasi untuk sepuluh kesetaraan perilaku untuk Kalkulus Pi.