ESC4

swMATH7219MaRDI QIDQ19270FDOQ19270

Author name not available (Why is that?)

Described by source

• Faster and more complete extended static checking for the Java modeling language

Cited In (1)

• Heaps and Data Structures: A Challenge for Automated Provers

This page was built for software: ESC4