SPEKTR

swMATH1114MaRDI QIDQ13857FDOQ13857

Author name not available (Why is that?)

Described by source

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

Cited In (1)

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

This page was built for software: SPEKTR