Academic Journal
Design for Proof: An Approach to the Design of Domain-Specific Languages
| Τίτλος: | Design for Proof: An Approach to the Design of Domain-Specific Languages |
|---|---|
| Συγγραφείς: | Anderson, Stuart, Tourlas, Konstantinos |
| Πηγή: | Formal Aspects of Computing: Applicable Formal Methods. May 1998 10(5-6):452-468 |
| Βάση Δεδομένων: | Springer Nature Journals |
καταχωρήστε σχόλιο πρώτοι!