SlanC: A Specification Language for Computable Contracts
Saved in:
| Main Author: | unknown (author) |
|---|---|
| Format: | masterThesis |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://eprints.kfupm.edu.sa/id/eprint/140794/1/SlanC_A_Specification_Language_for_Computable_Contracts.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Graph Contraction for Mapping Data on Parallel Computers
by: Mansour, N.
Published: (1994) -
A Thesis in the Use of Computer Assisted Language Learning in a Whole Language Contest
by: Ward, Jason
Published: (2005) -
The effect of computer-assisted language learning on motivating students to write. (c2008)
by: Fidaoui, Diana Zouhair
Published: (2008) -
Computer aided instruction model for procedural programming languages
by: Abdallah, Khalid S.
Published: (1996) -
Applying Static Slicing to UCM Specifications
by: unknown
Published: (2020)