EUFORIA

swMATH31587MaRDI QIDQ43298FDOQ43298

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-030-11245-5_17

Described by source

• EUFORIA: complete software model checking with uninterpreted functions

This page was built for software: EUFORIA