Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs Journal Article uri icon

Overview

publication date

  • January 1, 2011

Full Author List

  • Alur R; Cerny P

Other Profiles

Additional Document Info

start page

  • 599

end page

  • 610

volume

  • 46

issue

  • 1