Static Analysis for Model Checking

Terepeta, Michal Tomasz (PhD Student)
Nielson, Flemming (Supervisor)
Mödersheim, Sebastian Alexander (Examiner)
Cortesi, Agostino (Examiner)
Jensen, Thomas (Examiner)
Nielson, Hanne Riis (Main Supervisor)

1 Ph.D. thesis

1 results

2013
An algebraic approach to analysis of recursive and concurrent programs
Terepeta, M. T., 2013, Kgs. Lyngby: Technical University of Denmark. 205 p. (IMM-PHD-2013; No. 307).
Research output: Book/Report › Ph.D. thesis

Open Access
File
407 Downloads (Pure)