swMATH9481MaRDI QIDQ21463FDOQ21463
Author name not available (Why is that?)
Official website: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=870482
Cited In (34)
- Second-Order Principles in Specification Languages for Object-Oriented Programs
- A taxonomy of exact methods for partial Max-SAT
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relational and Kleene-Algebraic Methods in Computer Science
- Model-checking view-based partial specifications
- Title not available (Why is that?)
- A domain equation for refinement of partial systems
- Title not available (Why is that?)
- Theory and Applications of Satisfiability Testing
- A static semantics for Alloy and its impact in refactorings
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- QingTing1
- JACK
- CZT
- TestEra
- Title not available (Why is that?)
- TACO
- Gauss
- Jerusat
- ArgoUML
- Generating effective symmetry-breaking predicates for search problems
- ProBE
- Ampersand
- OEuf
- CRN++
- GemStone
- DynAlloy
- Information Security
- Policy analysis for administrative role-based access control
- A logical approach to data-aware automated sequence generation
- Finding models through graph saturation
- \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML
- Generating effective symmetry-breaking predicates for search problems
This page was built for software: Alcoa
