r-TuBound

swMATH9722MaRDI QIDQ21701FDOQ21701

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-28717-6_34

Cited In (4)

• ABC
• Smacc
• OTAWA
• Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution

This page was built for software: r-TuBound