Juggrnaut

swMATH13410MaRDI QIDQ25324FDOQ25324

Author name not available (Why is that?)

Described by source

• Juggrnaut: using graph grammars for abstracting unbounded heap structures

Cited In (1)

• Verification of heap manipulating programs with ordered data by extended forest automata

This page was built for software: Juggrnaut