Formal Techniques for Java-Like Programs (FTfJP)

Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Abstract

This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarises the presentations and discussions.
Original languageEnglish
Title of host publicationObject-Oriented Technology: ECOOP 2004 Workshop Reader, ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports
EditorsJacques Malenfant, Bjarte M. Østvold
PublisherSpringer Singapore
Pages76-83
Number of pages8
ISBN (Electronic)978-3-540-30554-5
ISBN (Print)978-3-540-23988-8
DOIs
Publication statusPublished - 2004
Externally publishedYes
Event18th European Conference on Object-Oriented Programming, ECOOP 2004 - Oslo, Norway
Duration: 14 Jun 200418 Jun 2004
Conference number: 18

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume3344

Conference

Conference18th European Conference on Object-Oriented Programming, ECOOP 2004
Abbreviated titleECOOP 2004
CountryNorway
CityOslo
Period14/06/0418/06/04

Cite this