Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: E. Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England
Journal title: ACM Communications in Computer Algebra
Journal number: 50/4
Journal publisher: ACM
Published year: 2017
Published pages: 145-147
DOI identifier: 10.1145/3055282.3055285
ISSN: 1932-2240
Search
Organisations
- Not specified