Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings Q Science
Algebraic methodology and software technology : 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings Q Science
Methodologies and software engineering for agent systems : the agent-oriented software engineering handbook Q Science
