Omnibus

swMATH4600MaRDI QIDQ16771FDOQ16771

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: Omnibus