Julienne

swMATH10126MaRDI QIDQ22094FDOQ22094

Author name not available (Why is that?)

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
• Combining runtime checking and slicing to improve Maude error diagnosis
• Exploring conditional rewriting logic computations

This page was built for software: Julienne