HAREL D について
Weizmann Inst. Science, Rehovot, ISR について
LACHOVER H について
NAAMAD A について
PNUELI A について
Weizmann Inst. Science, Rehovot, ISR について
POLITL M について
SHERMAN R について
SHTUL-TRAURING A について
Proceedings of the International Conference on Software Engineering について
複合系 について
計算機システム開発 について
リアクティブシステム について
開発 について
作業環境 について