Guard

swMATH1284MaRDI QIDQ14024FDOQ14024

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F3-540-46080-2_88

Cited In (3)

• The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
• MARMOT
• TotalView

This page was built for software: Guard