| Tag: algebraic-specification 1 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: formal-verification rewriting-systems programming-languages mathematics | ||
| Package | Description | Version |
|---|---|---|
| cafeobj ☆ formula | New generation algebraic specification and programming language | 1.6.2 |