Safe, Georgia Penido
2  results:
Search for persons X
?
1

Selection of formal verification heuristics for parallel ex..:

Safe, Georgia Penido ; Coelho Jr., Claudionor ; Vieira, Luiz Filipe M....
International Journal on Software Tools for Technology Transfer.  14 (2011)  1 - p. 95-108 , 2011
 
1-2