[IEEE Comput. Soc. Press 13th TRON Project International Symposium /TEPS '96 - Tokyo, Japan (4-7 Dec. 1996)] Proceedings 13th TRON Project International Symposium /TEPS '96 - OS validation programming language: CVAL
Minami, S., Kogiku, I., Fukuya, A., Matsuda, H.Year:
1996
Language:
english
DOI:
10.1109/tron.1996.566187
File:
PDF, 742 KB
english, 1996