jEdit

swMATH9682MaRDI QIDQ21661FDOQ21661

Author name not available (Why is that?)

Cited In (4)

• Runtime Exception Detection in Java Programs Using Symbolic Execution
• A Web Interface for Isabelle: The Next Generation
• Interactive Simplifier Tracing and Debugging in Isabelle
• Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit

This page was built for software: jEdit