Safe and precise WCET determination by abstract interpretation of pipeline modelsStephan ThesingVyprodáno4,3Pohlídat
