Julienne

MaRDI QIDQ22094swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-32759-9_5

Cited in

(9)

• ChC 3
• iJulienne
• Anima
• Web-TLR
• Freja
• Hat
• Hood
• Exploring conditional rewriting logic computations
• Combining runtime checking and slicing to improve Maude error diagnosis

This page was built for software: Julienne