寅市,和男, 関田,巌
シミュレーション
5
(3),
155-163,
1986-11-15
...Furthermore, we consider several expression methods of software documents proposed in Japan, make them grow into one original graphic & structural language, and show an example of verification that the...
NDLデジタルコレクション