YAS directory languages/ASL/samples/attic

GitHub

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

---

Properties

None

---

Components

• languages/ASL/samples/attic/BIPL.asl (Algebraic specification)

---