The following pages link to Elsa L. Gunter (Q930877):
Displaying 23 items.
- Role-based access control for boxed ambients (Q930879) (← links)
- Computing ML equality kinds using abstract interpretation (Q1317430) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Safety of a smart classes-used regression test selection algorithm (Q2229147) (← links)
- Model checking, testing and verification working together (Q2576575) (← links)
- (Q2754119) (← links)
- (Q2769610) (← links)
- (Q2848666) (← links)
- Using Locales to Define a Rely-Guarantee Temporal Logic (Q2914750) (← links)
- Symbolic Analysis Tools for CSP (Q2938170) (← links)
- (Q3024871) (← links)
- Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization (Q3557847) (← links)
- M-Groups with Sylow Towers (Q3824565) (← links)
- (Q4472258) (← links)
- Correspondence assertions for process synchronization in concurrent communications (Q4676156) (← links)
- Extensions to logic programming motivated by the construction of a generic theorem prover (Q5053009) (← links)
- An abstract interpretation for ML equality kinds (Q5096214) (← links)
- Recursion principles for syntax with bindings and substitution (Q5176985) (← links)
- Verifying Optimizations for Concurrent Programs (Q5240132) (← links)
- Verification: Theory and Practice (Q5305656) (← links)
- Trustworthy Global Computing (Q5394796) (← links)
- A Framework for Formal Verification of Compiler Optimizations (Q5747662) (← links)
- Pseudo-retract functors for local lattices and bifinte L-domains (Q5887525) (← links)
