Symbolic Backwards Reachability Analysis for Higher‐Order Pushdown Systems. / Hague, Matthew; Ong, C.-H. Luke.

FoSSaCS: Foundations of Software Science and Computation Structures. 2007.

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

Published
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

Research outputs

ID: 25573187