Publication

The Eggshell method in a nutshell. Tech Report

M. Nool (Margreet) and D.J.P. Lahaye (Domenico)

Identification clouds: aspects of the implementation Tech Report

C.L. Blom (Kees) and M. Hazewinkel (Michiel)

History of the software industry: the challenge Tech Report

G. Alberts (Gerard), A. van den Bogaard, M. Campbell-Kelly and F. Veraart

Crosscutting concerns in J2EE applications Tech Report

A. Mesbah (Ali) and A. van Deursen (Arie)

IRKC: an IMEX solver for stiff diffusion-reaction PDEs Tech Report

L.F. Shampine, B.P. Sommeijer (Ben) and J.G. Verwer (Jan)

Performance of TCP-friendly streaming sessions in the presence of heavy-tailed elastic flows Tech Report

R. Bekker (Rene), S.C. Borst (Sem) and R. Núñez Queija (Rudesindo)

A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs). Tech Report

J.C. van de Pol (Jaco) and O. Tveretina

Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings