Korea Advanced Inst. Sci. and Technol.(KAIST), Taejon, KOR について
STRINGER-CALVERT D について
SRI International, CA, USA について
Korea Advanced Inst. Sci. and Technol.(KAIST), Taejon, KOR について
Lecture Notes in Computer Science について
プログラム検証 について
埋込み型システム について
計算理論 について
言語プロセッサ について
SCR について
スタイル について
ソフトウェア要求仕様 について
性質 について
形式的検証 について