Omnibus

MaRDI QIDQ16771swMATHFDO

Official website http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.106.9349&rep=rep1&type=pdf

Cited in

(5)

• Faster and more complete extended static checking for the Java modeling language
• distcc
• ESC4
• ANNA
• Specification and verification challenges for sequential object-oriented programs

This page was built for software: Omnibus