ESC4

MaRDI QIDQ19270swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1596491

Described by source

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

Cited in

(3)

• Heaps and Data Structures: A Challenge for Automated Provers
• distcc
• Omnibus

This page was built for software: ESC4