WALi

MaRDI QIDQ45189swMATHFDO

Official website https://research.cs.wisc.edu/wpis/papers/tr1675r.pdf

Cited in

(4)

• Model checking procedural programs
• A new abstraction framework for affine transformers
• jMoped
• TSL

This page was built for software: WALi