A.: From tests to proofs. (2013)

by A K Gupta, R Majumdar, Rybalchenko
Venue:International Journal on Software Tools for Technology Transfer