SPEKTR

swMATH1114MaRDI QIDQ13857FDOQ13857

Author name not available (Why is that?)

Official website: https://link.springer.com/article/10.1007%2FBF01131856?LI=true

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