OTAWA

swMATH20500MaRDI QIDQ32318FDOQ32318

Author name not available (Why is that?)

Official website: http://dl.ifip.org/db/conf/seus/seus2010/BallabrigaCRS10.pdf

Cited In (4)

• r-TuBound
• McAiT
• Smacc
• Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution

This page was built for software: OTAWA