Pages that link to "Item:Q2819676"
From MaRDI portal
The following pages link to Lem: reusable engineering of real-world semantics (Q2819676):
Displaying 5 items.
- Lem (Q21378) (← links)
- An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model (Q2031429) (← links)
- From specification to testing: semantics engineering for Lua 5.2 (Q2102942) (← links)
- LEMA (Q5176481) (← links)
- Verification-Led Smart Contracts (Q6166532) (← links)