一般注記 |
SRC:Foundations of software science and computation structures, c1998: t.p. (First International Conference, FoSSaCS ʾ98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal, March 28-April 4, 1998)
|