José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings