Verified High Performance Computing: The SyDPaCC Approach.

Frdric Loulergue, Ali Ed-Dbali

Browse the full VECoS paper archive.