Succinct
From MaRDI portal
Software:21682
No author found.
Related Items (5)
A framework for security analysis of mobile wireless networks ⋮ Pathway analysis for BioAmbients ⋮ Type Inference for Correspondence Types ⋮ From flow logic to static type systems for coordination languages ⋮ Tools and Algorithms for the Construction and Analysis of Systems
This page was built for software: Succinct
