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, founded at University of Trier