Erika Abraham

No bio available. Add one in Open Library.

Books by Erika Abraham (50 max)

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2014

Erika Abraham, Klaus Havelund

+ shelf+ list

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2016

Erika Abraham, Einar Broch Johnsen, Marcello Bonsangue

+ shelf+ list

At the Pinnacle One Woman's Running Journey

2018

Erika Abraham, Greg Schaffer, Heidi Rieper