BMaude

MaRDI QIDQ22103swMATHFDO

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

Cited in

(2)

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

This page was built for software: BMaude