| Type | human |
|---|
Sources: Wikidata (CC0) · Wikidata Q124814947
Languages · 1
| Language | Paradigms | First appeared |
|---|---|---|
| Dafny | design by contract, imperative programming, functional programming | 2009 |
| Type | human |
|---|
Sources: Wikidata (CC0) · Wikidata Q124814947
| Language | Paradigms | First appeared |
|---|---|---|
| Dafny | design by contract, imperative programming, functional programming | 2009 |