Narjes Ben Rajeb

	2009
1		Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, Tayssir Touili: Verifying Multithreaded Recursive Programs with Integer Variables. Electr. Notes Theor. Comput. Sci. 239: 143-154 (2009)

Coauthor Index

1	Brahim Nasraoui	[1]
2	Riadh Robbana	[1]
3	Tayssir Touili	[1]