Computer Languages, Systems & Structures, Volume 30

Volume 30, Number 1-2, April - July 2004

Smalltalk Language

Volume 30, Number 3-4, October - December 2004

Analysis and Verification