John Patrick Gallagher

Søgeresultater

• 2011

  Extended Set Constraints and Tree Grammar Abstraction of Programs

  Rosendahl, M. & Gallagher, J. P., 2011. 12 s.

  Publikation: Konferencebidrag › Paper › Forskning

  Fil
• 2009

  Constraint-Based Abstraction of a Model Checker for Infinite State Systems

  Banda, G. & Gallagher, J. P., 2009. 16 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review

  Åben adgang

  Fil