Shlomit Ozer

	2008
1		Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman: Efficient Symbolic Simulation of Low Level Software. DATE 2008: 825-830

Coauthor Index

1	Tamarah Arons	[1]
2	Elad Elster	[1]
3	Jonathan Shalev	[1]
4	Eli Singerman	[1]