Don't Let The Opponents Grind You Down : Type Inference for a Correspondence Certifying Type System with Opponent Typing
Publikation: Forskning - peer review › Konferenceartikel i proceeding
| Originalsprog | Engelsk |
|---|---|
| Titel | Foundations of Computer Security - Privacy : Models & Analysis 2010 (FCS-PrivMod '10) |
| Udgivelsesdato | 2010 |
| Status | Udgivet |
Konference
| Konference | FCS-PrivMod 2010 - Workshop on Foundations of Security and Privacy |
|---|---|
| Land | Storbritannien |
| By | Edinburgh |
| Periode | 14-07-10 → 15-07-10 |
Indlæser lokationer...
ID: 43942973