Towards a framework and a benchmark for
โ
Yaniv Eytani; Klaus Havelund; Scott D. Stoller; Shmuel Ur
๐
Article
๐
2007
๐
John Wiley and Sons
๐
English
โ 216 KB