Research Output 2002 2018

Filter
Paper
2011

Extended Set Constraints and Tree Grammar Abstraction of Programs

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

Research output: Contribution to conferencePaperResearch

File
2009

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

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

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File