rash
rash copied to clipboard
Formal semantics
Add a formal description of the formal semantics of RASH through EARMARK + LMM and DoCO.