We are hiring new student research assistants and tutors. Apply now!
Paper accepted at ICSE 2023: "CoVeriTeam Service: Verification as a Service"

Index of Publications

Selection by year

Selection by category

Selection by author

Selection by research interest

Selection by funding

Complete list of publications