Formal Techniques for Java-Like Programs

Authors :: Eisenbach, S.
Leavens, G.T.
Müller, P.
Poetzsch-Heffter, A.
Poll, E.
Buschmann, F.
Buchmann, A.P.
Cilia, M.
Buschmann, F.
Buchmann, A.P.
Cilia, M.
Source :: Buschmann, F.; Buschmann, F.; Buchmann, A.P. (ed.), Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports, pp. 62-71, Buschmann, F.; Buschmann, F.; Buchmann, A.P. (ed.), Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports, 62-71. Berlin ; New York : Springer, STARTPAGE=62;ENDPAGE=71;ISSN=0302-9743;TITLE=Buschmann, F.; Buschmann, F.; Buchmann, A.P. (ed.), Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports
Publication Year :: 2004
Publisher :: Berlin ; New York : Springer, 2004.
Abstract: Contains fulltext : 60445.pdf (Publisher’s version ) (Closed access) ECOOP 2003

ISSN :: 03029743
Database :: OpenAIRE
Journal :: Buschmann, F.; Buschmann, F.; Buchmann, A.P. (ed.), Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports, pp. 62-71, Buschmann, F.; Buschmann, F.; Buchmann, A.P. (ed.), Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports, 62-71. Berlin ; New York : Springer, STARTPAGE=62;ENDPAGE=71;ISSN=0302-9743;TITLE=Buschmann, F.; Buschmann, F.; Buchmann, A.P. (ed.), Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports
Accession number :: edsair.dedup.wf.001..333247f2249334e2c24c463ed7d2a885

Tools