Alcoa
From MaRDI portal
Software:21463
No author found.
Related Items (20)
A Logical Approach to Data-Aware Automated Sequence Generation ⋮ Unnamed Item ⋮ Generating effective symmetry-breaking predicates for search problems ⋮ Unnamed Item ⋮ A domain equation for refinement of partial systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API ⋮ A taxonomy of exact methods for partial Max-SAT ⋮ Unnamed Item ⋮ Policy analysis for administrative role-based access control ⋮ Second-Order Principles in Specification Languages for Object-Oriented Programs ⋮ Theory and Applications of Satisfiability Testing ⋮ \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML ⋮ Relational and Kleene-Algebraic Methods in Computer Science ⋮ Model-Checking View-Based Partial Specifications ⋮ Finding models through graph saturation ⋮ Information Security ⋮ A Static Semantics for Alloy and its Impact in Refactorings
This page was built for software: Alcoa
