Eugene A. Shatokhin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin: Automated Formal Testing of C API Using T2C Framework. ISoLA 2008: 56-70

	2008
1		Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin: Automated Formal Testing of C API Using T2C Framework. ISoLA 2008: 56-70

Coauthor Index