Pages that link to "Item:Q420842"
From MaRDI portal
The following pages link to A modal type theory for formalizing trusted communications (Q420842):
Displaying 2 items.
The following pages link to A modal type theory for formalizing trusted communications (Q420842):
Displaying 2 items.