Daniel Kroening and Ofer Strichman: Decision procedures
Crossref DOI link: https://doi.org/10.1007/s00165-018-0466-2
Published Print: 2018-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Monahan, Rosemary
Text and Data Mining valid from 2018-11-01
Article History
First Online: 2 August 2018