This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs.... more This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explau]ns the motivation for such a workshop and summarizes the presentations and discussions.
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs.... more This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explau]ns the motivation for such a workshop and summarizes the presentations and discussions.
Uploads
Papers