Mohamed Nassim Seghir

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies: Abstraction Refinement for Quantified Array Assertions. SAS 2009: 3-18

2007

1 Mohamed Nassim Seghir, Andreas Podelski: ACSAR: Software Model Checking with Transfinite Refinement. SPIN 2007: 274-278

	2009
2		Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies: Abstraction Refinement for Quantified Array Assertions. SAS 2009: 3-18
	2007
1		Mohamed Nassim Seghir, Andreas Podelski: ACSAR: Software Model Checking with Transfinite Refinement. SPIN 2007: 274-278

Coauthor Index

1 Andreas Podelski [1] [2]

2 Thomas Wies [2]