LATC2024 SpeakerInterview - Prof. Dr. Markus Schneider

LeanBase