Ben Di Vito

2006
2	EE	Songtao Xia, Ben Di Vito, César Muñoz: Predicate Abstraction of Programs with Non-linear Computation. ATVA 2006: 352-368
2005
1	EE	Songtao Xia, Ben Di Vito, César Muñoz: Automated test generation for engineering applications. ASE 2005: 283-286

Coauthor Index

1	César Muñoz	[1] [2]
2	Songtao Xia	[1] [2]