Merkliste 
 1 Ergebnisse 
 
1

SMT‐based context‐bounded model checking for CUDA programs:

Pereira, Phillipe ; Albuquerque, Higo ; da Silva, Isabela...
Concurrency and Computation: Practice and Experience.  29 (2016)  22 - p. , 2016