| Original language | English |
|---|---|
| Pages (from-to) | 645-646 |
| Number of pages | 2 |
| Journal | Concurrency and Computation: Practice and Experience |
| Volume | 16 |
| Issue number | 7 |
| DOIs | |
| State | Published - Jun 2004 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Special issue: Formal techniques for Java-like programs
- Peter Müller
- , David A. Naumann
- , Erik Poll
- Swiss Federal Institute of Technology Zurich
- Radboud University Nijmegen
Research output: Contribution to journal › Article › peer-review