Volume 34, Number 1, April 2008
Nikolaos G. Bourbakis:
A generic, formal language-based methodology for hierarchical floorplanning-placement.
25-42
Volume 34, Numbers 2-3, July-October 2008
Best Papers 2006 International Smalltalk Conference
Volume 34, Number 4, December 2008
Pao-Ann Hsiung,
Shang-Wei Lin:
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems.
153-169