Papers archive

Cyber-Physical Systems

From tests to proofs.

Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko.
Int. J. Softw. Tools Technol. Transf. 2013.