From Lambda Calculus to Cybersecurity Through Program Analysis (Q3297836)
From MaRDI portal
scientific journal
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From Lambda Calculus to Cybersecurity Through Program Analysis |
scientific journal |