Search for persons
X
?
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design ,
9
Scalable and precise program analysis at NEC:
, In:
?
Innovations in Sustainable Energy and Cleaner Environment; Green Energy and Technology ,
12