Imagineonair Podcast

Episode #10 - Formale Verifikation

Informações:

Sinopsis

Unser »Experte« Tom und der Auszubildende/Student Kevin sprechen über die formale Verifikation von Software.