DOE OSTI · 1592217
EUForia: Complete Software Model Checking with Uninterpreted Functions.
Abstract
Abstract not provided.
Keep this discovery
Explore connections, maps & timelines
Bueno, Denis. 2019-01-01. EUForia: Complete Software Model Checking with Uninterpreted Functions.. https://doi.org/10.1007/978-3-030-11245-5_17
Cite the original work for its findings. Save a collection to share your selection of sources.