| 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 |
Special issue: Formal techniques for Java-like programs
- Peter Müller
- , David A. Naumann
- , Erik Poll
Research output: Contribution to journal › Article › peer-review