sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000134047956 | 1 hits
Person
ISNI: 
0000 0001 3404 7956
Name: 
Shi, F. G.
Shi, Feng Gang
Creation class: 
article
Text
Creation role: 
author
Related names: 
University of York
Titles: 
Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
Contributed to or performed: 
UNIVERSITY OF YORK DEPARTMENT OF COMPUTER SCIENCE -PUBLICATIONS- YCST
Notes: 
Sources: 
ZETO