AstraVer

swMATH26809MaRDI QIDQ38538FDOQ38538

Author name not available (Why is that?)

Cited In (2)

• Verifying Whiley programs with Boogie
• Automated verification of the parallel Bellman-Ford algorithm

This page was built for software: AstraVer