BMaude

swMATH10135MaRDI QIDQ22103FDOQ22103

Author name not available (Why is that?)

Official website: http://www.sciencedirect.com/science/article/pii/S1571066104803669

Cited In (2)

• Integrated Formal Methods
• Towards behavioral Maude: behavioral membership equational logic

This page was built for software: BMaude