Login / Signup

Practical formal correctness checking of million-core problem solving environments for HPC.

Diego Caminha Barbosa De OliveiraZvonimir RakamaricGanesh GopalakrishnanAlan HumphreyQingyu MengMartin Berzins
Published in: SE-CSE@ICSE (2013)
Keyphrases