This book presents the refereed proceedings of the 15th International Symposium on Formal Methods...
In Memoriam Armando Martín Haeberer.- In Memoriam Armando Martín Haeberer.- Work at UNU IIST.- UN...
ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. E...
This book focuses on the clarification of what actually a handbook is, the systematic identificat...