ELINA

swMATH21742MaRDI QIDQ33544FDOQ33544

Author name not available (Why is that?)

Official website: http://elina.ethz.ch

Described by source

• Fast polyhedra abstract domain

This page was built for software: ELINA