Anmelden Registrieren

From commutativity to proofs and back again: reduction and verification of concurrent programs

Klumpp, Dominik

Universität 2026

Teil von: Again

Melde dich an, um dieses Buch zu tracken

Kostenlos starten Anmelden

Beschreibung