Algorithmic Verification of Single-Pass List Processing Programs Journal Article uri icon

Overview

publication date

  • January 1, 2010

Full Author List

  • Alur R; CernĂ½ P

Additional Document Info

volume

  • abs/1007.4958