Search

Volume 8, no. 4 (June 2009)

Workshop on Formal Techniques for Java-like Programs (FTfJP), and International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), ECOOP 2008

Editorial

Articles