A syntactic commutativity format for SOS Article

M.R. Mousavi, M.A. Reniers (Michel) and J.F. Groote (Jan Friso)

XML security in the next generation optical disc context In Proceedings

G.G. Nair, A. Gopalakrishnan, S. Mauw (Sjouke) and E. Moll

An abstract interpretation toolkit for µ CRL In Proceedings

J.C. van de Pol (Jaco) and M.V. Espada

A BDD-representation for the logic of equality and uninterpreted functions In Proceedings

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

Generalized innermost rewriting In Proceedings

J.C. van de Pol (Jaco) and H. Zantema (Hans)

Integrated Formal Methods - 5th International Conference, IFM 2005 Proceedings

Solving scheduling problems by untimed model checking In Proceedings

A.J. Wijs (Anton), J.C. van de Pol (Jaco) and E. Bortnik

An assertion-based proof system for multithreaded Java Article

E. Abraham (Erika), F.S. de Boer (Frank), W.P. de Roever and M. Steffen