Omnibus

swMATH4600MaRDI QIDQ16771FDOQ16771

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: Omnibus