PiET: Pi Calculus Equivalences Tester 1.0

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 5.0/5 - ‎1 ‎वोट

करीबन PiET: Pi Calculus Equivalences Tester

PiET पीआई पथरी के लिए दस व्यवहार तुल्यता के लिए एक सत्यापन उपकरण है।