Back to Software and Computational Systems Lab at LMU Munich

GSoC 2019

Design and Create CLion plugin for CPAchecker execution

Project details

Contributor

Tharsanan Kurukulasingam

Mentors

Thomas Lemberger

Technologies

Not listed in the archive