Skip to content

A theory of abstraction for arrays.

Steven M. German

VenueBFMCAD
Year2011
ProceedingsFMCAD

Browse the full FMCAD paper archive.