TASS_

swMATH4889MaRDI QIDQ17041FDOQ17041

Author name not available (Why is that?)

Described by source

• TASS: the toolkit for accurate scientific software

Cited In (2)

• Loop Invariant Symbolic Execution for Parallel Programs
• Collective Assertions

This page was built for software: TASS_