Nassim Seghir
|
Nassim Seghir
Research Assistant
Room 316, Wolfson Building, Parks Road, Oxford OX1 3QD |
Links
My University of Freiburg homepage
Selected Publications
| A Lightweight Approach for Loop Summarization Mohamed Nassim Seghir In ATVA. Pages 351−365. 2011. |
| An Assume Guarantee Approach for Checking Quantified Array Assertions Mohamed Nassim Seghir In AMAST. Pages 226−235. 2010. |
| Abstraction Refinement for Quantified Array Assertions Mohamed Nassim Seghir‚ Andreas Podelski and Thomas Wies In SAS. Pages 3−18. 2009. |
Info
|
Themes |
|
|
Projects |
