WALi

swMATH33480MaRDI QIDQ45189FDOQ45189

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: WALi