International Journal of Software and Informatics, Volume 3

Volume 3, Number 1, 2009

Special Section on Selected Papers from PRICAI2008 Regular Papers

Volume 3, Number 2-3, 2009

Special Double Issue on Formal Methods of Program Development.

Volume 3, Number 4, 2009

Special Section on Internetware. Regular Papers
maintained by Schloss Dagstuhl LZI at University of Trier