| 一般注記 |
Tools and algorithms for the construction and analysis of sytems, 1998: CIP t.p. (European Conferences on Theory and Practic of Software, ETAPS '98, Lisbon, Portugal, March/April 1998)
Programming languages and systems, 1998: t.p. (7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAP'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings)
SRC:Programming languages and systems, c1999: t.p.(8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, proceedings)
EDSRC:Tools and algorithms for the construction and analysis of systems, c2000: t.p. (European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000) foreward (EATPS 2000 was the third instance of the Euroepan Joint Conferences on Theory and Practice of Software)
EDSRC:Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Heinrich Hussmann (ed.)(Springer,c2001)
EDSRC:Compiler construction : 13th International Conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings / Evelyn Duesterwald (ed.) (Springer, c2004)
|
著者名典拠詳細を表示
