Matthias Wieland

Albie on His Way

Entwurf und Implementierung eines rechnergestützten Werkzeugs zur automatischen Synthese fehlerbehebender Kommunikationsprotokolle