Symbolic Backwards Reachability Analysis for Higher‐Order Pushdown Systems

Matthew Hague, C.-H. Luke Ong

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationFoSSaCS: Foundations of Software Science and Computation Structures
Publication statusPublished - 2007
EventFoSSaCS: Foundations of Software Science and Computation Structures - Braga, Portugal
Duration: 24 Mar 20071 Apr 2007

Conference

ConferenceFoSSaCS: Foundations of Software Science and Computation Structures
Country/TerritoryPortugal
CityBraga
Period24/03/071/04/07

Cite this