swMATH9682MaRDI QIDQ21661FDOQ21661
Author name not available (Why is that?)
Official website: http://www.jedit.org/
Cited In (11)
- Runtime Exception Detection in Java Programs Using Symbolic Execution
- Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
- Clide
- Columbus
- Proof General Kit
- ArgoUML
- Poly/ML
- log4j
- GlassFish
- A web interface for Isabelle: the next generation
- Interactive simplifier tracing and debugging in Isabelle
This page was built for software: jEdit
