Design for proof: An approach to the design of domain-specific languages (Q1125425)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Design for proof: An approach to the design of domain-specific languages |
scientific article; zbMATH DE number 1375207
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Design for proof: An approach to the design of domain-specific languages |
scientific article; zbMATH DE number 1375207 |
Statements
Design for proof: An approach to the design of domain-specific languages (English)
0 references
6 December 1999
0 references
domain-specific language
0 references
