Anastasia Mironova

	2008
2		Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke: Combining symbolic execution with model checking to verify parallel numerical programs. ACM Trans. Softw. Eng. Methodol. 17(2): (2008)
	2006
1		Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke: Using model checking with symbolic execution to verify parallel numerical programs. ISSTA 2006: 157-168

Coauthor Index

1	George S. Avrunin	[1] [2]
2	Lori A. Clarke	[1] [2]
3	Stephen F. Siegel	[1] [2]