Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs Conference Proceeding uri icon

Overview

publication date

  • January 26, 2011

Full Author List

  • Alur R; Cerny P

Other Profiles

International Standard Book Number (ISBN) 13

  • 978-1-4503-0490-0

Additional Document Info

start page

  • 599

end page

  • 610