Jim de Groot

Ein Blick auf die Struktur und Beziehungen intuitionsistischer modaler Logiken.

Tamgram vereinfacht das Modellieren von Sicherheitsprotokollen und steigert die Effizienz der Verifikation.