Browsing eNauka
Browsing by Project COST Action [CA15123 EUTYPES]
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2018 | Plugging-in proof development environments using Locks in LF | Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan | Article | 22M22 |