Special issue: Formal techniques for Java-like programs

Peter Müller, David A. Naumann, Erik Poll

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)645-646
Number of pages2
JournalConcurrency and Computation: Practice and Experience
Volume16
Issue number7
DOIs
StatePublished - Jun 2004

Cite this