Home › Authors › Steven Eker 👤 Steven Eker 2 books Books by Steven Eker All About Maude - A High-Performance Logical Framework 2007 Formal methods in specificatio Formal methods in specification, CS504a/CS300a
