Piotr Filipiuk
(Former)
Publications
(4)- Published
Layered Fixed Point Logic
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
A Succinct Approach to Static Analysis and Model Checking
Publication: Research › Ph.D. thesis – Annual report year: 2012
- Published
Galois Connections for Flow Algebras
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
Projects
(1)- Completed
Download as:
Download as:
To download, please limit the number of search results to 1,000 or less.
ID: 38266