Home » org.key-project.proofjava » javaparser-core-serialization » Used By

JavaParser Core Serialization

Serializers for the JavaParser AST.

Artifacts using JavaParser Core Serialization (1)
Sort by:Popular▼

1.Key Core17 usages

org.key-project » key.core GPL

Core functionality (terms, rules, prover, ...) for deductive verification of Java programs
Last Release on Jul 24, 2026
  • Prev
  • 1
  • Next