scholarly journals From Retrospective Verification to Forward-Looking Development

Author(s):  
K. Rustan M. Leino
Keyword(s):  
2014 ◽  
Vol 134 (10) ◽  
pp. 921-929 ◽  
Author(s):  
Nozomi Nagamine ◽  
Masato Ukai
Keyword(s):  

CFA Magazine ◽  
2014 ◽  
Vol 25 (6) ◽  
pp. 46-46
Keyword(s):  

2019 ◽  
Author(s):  
Vani Virdyawan ◽  
◽  
Ferdinando Rodriguez y Baena

Author(s):  
Peter Christoffersen ◽  
Kris Jacobs ◽  
Gregory Vainberg
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document