AUSPICE-R

swMATH18273MaRDI QIDQ30116FDOQ30116

Author name not available (Why is that?)

Described by source

• AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code

Cited In (1)

• Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings

This page was built for software: AUSPICE-R