Language: English
Help
回圖書館首頁
手機版館藏查詢
Login
Languages
Jump To : Overview | Titles | Subjects

Rayadurgam, Sanjai.

Overview
Works: 0 works in 1 publications in 1 languages
Titles
NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / by: Rayadurgam, Sanjai.; Tkachuk, Oksana.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login