Chaves, Hendrio Carvalho
3  Ergebnisse:
Personensuche X
?
3

Verifying CUDA programs using SMT-based context-bounded mod..:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,
 
1-3