MemSAT

swMATH28539MaRDI QIDQ40253FDOQ40253

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=1806635

Cited In (1)

• Java and the Java memory model -- a unified, machine-checked formalisation

This page was built for software: MemSAT