Marijn Heule -

Registered user since Sat 7 Jan 2023

Name:Marijn Heule

Affiliation:Carnegie Mellon University

Personal website: https://www.cs.cmu.edu/~mheule/

Contributions

2023

ICSME

Author of Artifact for What’s in a Name? Linear Temporal Logic Literally Represents Time Lines within the Artifact Evaluation Track and ROSE Festival-track

NFM