Editorial

You have free access to this content

Special Issue: Formal Techniques for Java-like Programs

Article first published online: 27 APR 2004

DOI: 10.1002/cpe.797

Issue

Concurrency and Computation: Practice and Experience

Concurrency and Computation: Practice and Experience

Special Issue: Formal Techniques for Java-like Programs

Volume 16, Issue 7, pages 645–646, June 2004

Additional Information

How to Cite

(2004), Special Issue: Formal Techniques for Java-like Programs. Concurrency Computat.: Pract. Exper., 16: 645–646. doi: 10.1002/cpe.797

Publication History

  1. Issue published online: 27 APR 2004
  2. Article first published online: 27 APR 2004

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (50K)

REFERENCES

  • 1
    Drossopoulou S, Eisenbach S, Leavens GT, Poetzsch-Heffter A, Poll E. Formal techniques for Java-like programs. Object-Oriented Technology. ECOOP 2002 Workshop Reader (Lecture Notes in Computer Science, vol. 2548). Springer: Berlin, 2002; 203–210.
  • 2
    Poll E(ed). Proceedings of the ECOOP Workshop on Formal Techniques for Java-like Programs (FTFJP'02). Technical Report NIII-R0204, Department of Computer Science, University of Nijmegen, 2002. Available at http://www.cs.kun.nl/˜erikpoll/ftfjp/ftfjp2002.html.
Get PDF (50K)