Author/Creator: Ábrahám, Erika - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Ábrahám, Erika

1. Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday /: Essays dedicated to Frank de Boer on the occasion of his 60th birthday. (2016)

Editors:: Ábrahám, Erika; Bonsangue, Marcello M; Johnsen, Einar Broch
Other Names:: Boer, Frank S. de honouree.
Record Type:: Book
Extent:: 1 online resource (427 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Fully incremental cylindrical algebraic decomposition. (September 2020)

Authors:: Kremer, Gereon; Ábrahám, Erika
Journal:: Journal of symbolic computation
Issue:: Volume 100(2020)
Page Start:: 11
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016)

Editors:: Ábrahám, Erika; Huisman, Marieke
Other Names:: International Conference on Integrated Formal Methods, 12th
Record Type:: Book
Extent:: 1 online resource (xiv, 538 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗