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

Donaldson, Alastair.

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings / by: Donaldson, Alastair.; Parker, David.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login