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