Gauss
From MaRDI portal
Software:20834
No author found.
Related Items (2)
System-level state equality detection for the formal dynamic verification of legacy distributed applications ⋮ Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
This page was built for software: Gauss
