Theory exploration: Conjecturing, testing and reasoning about programs
Paper in proceeding, 2020


Moa Johansson

Chalmers, Computer Science and Engineering (Chalmers), Formal methods

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,

Subject Categories

Computer Engineering

Software Engineering

Computer Science

More information

Latest update