Lem

swMATH9395MaRDI QIDQ21378FDOQ21378

Author name not available (Why is that?)

Described by source

• Lem: reusable engineering of real-world semantics

Cited In (2)

• Lem: A Lightweight Tool for Heavyweight Semantics
• An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model

This page was built for software: Lem