Flavian Vasile (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Flavian Vasile, Samik Basu: Cost-based Analysis of Multiple Counter-Examples. SEKE 2007: 33-38

Selection of 1 from 2 records - Flavian Vasile has 4 coauthors