Theory exploration: Conjecturing, testing and reasoning about programs
Paper i proceeding, 2020
Författare
Moa Johansson
Chalmers, Data- och informationsteknik, Formella metoder
Electronic Proceedings in Theoretical Computer Science, EPTCS
20752180 (ISSN)
Vol. 320
8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020
Dublin, Ireland,
Dublin, Ireland,
Ämneskategorier
Datorteknik
Programvaruteknik
Datavetenskap (datalogi)