Static Analysis and Model Checking of Software Systems

Filipiuk, Piotr (PhD Student)
Nielson, Flemming (Supervisor)
Probst, Christian W. (Examiner)
Schmidt, David A. (Examiner)
Seidl, Helmut (Examiner)
Nielson, Hanne Riis (Main Supervisor)

1 Ph.D. thesis

1 results

Filter

2012
A Succinct Approach to Static Analysis and Model Checking
Filipiuk, P., 2012, Kgs. Lyngby: Technical University of Denmark. 187 p. (IMM-PHD-2012; No. 278).
Research output: Book/Report › Ph.D. thesis

Open Access
File
422 Downloads (Pure)