ผู้เขียน: Pierre-Yves Schobbens

John-Jules C. Meyer & Pierre-Yves Schobbens: Formal Models of Agents

Jose Luiz Fiadeiro & Pierre-Yves Schobbens: Recent Trends in Algebraic Development Techniques