SPEKTR

swMATH1114MaRDI QIDQ13857

No author found.

Described by source

• Verification of linear algebra programs in the SPEKTR system
• Problem-oriented program verification system ?SPEKTR?

Related Items (1)

Problem-oriented knowledge bases and their application in the program verification system SPEKTR

This page was built for software: SPEKTR