أرسل هذا في رسالة قصيرة: SlanC: A Speci?cation language for computable Contracts