PhD Student (email)
A very interesting tool that integrates a number of logics for (co)algebraic specification.
I implemented in Hets hybridisation: a method to turn logics hybrid. See more details about this in my Msc. dissertation
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.