Erika Abraham
Identifiers
- Open LibraryOL7843848A
Top Subjects
- Computer science (1)
- Biography (1)
Books by Erika Abraham
Total count: 3
-
Tools and Algorithms for the Construction and Analysis of Systems20th 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, ProceedingsSpringer London, Limited2014-01-01
-
Theory and Practice of Formal MethodsEssays Dedicated to Frank de Boer on the Occasion of His 60th BirthdaySpringer International Publishing AG2016-01-01
-
At the PinnacleOne Woman's Running JourneySecond Chance Publishing2018-01-01