TSL

swMATH39578MaRDI QIDQ55278FDOQ55278

Author name not available (Why is that?)

Cited In (3)

• An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model
• Improved Tool Support for Machine-Code Decompilation in HOL4
• A new abstraction framework for affine transformers

This page was built for software: TSL