YAS directory languages/ASL/samples/101

GitHub

https://github.com/softlang/yas/tree/master/languages/ASL/samples/101

---

Properties

None

---

Components

• languages/ASL/samples/101/companies.asl (Algebraic specification)
• languages/ASL/samples/101/employees.asl (Algebraic specification)
• languages/ASL/samples/101/functionality.asl (Algebraic specification)
• languages/ASL/samples/101/salaries.asl (Algebraic specification)

---