No. Title Author Year
1 Summary-Based Inter-Procedural Analysis via Modular Trace Refinement Cassez, Franck et al. 2014
2 What is a Timing Anomaly? Cassez, Franck et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 2


DROPS-Home | Fulltext Search | Imprint Published by LZI