Publications de
Hugues Cassé, Florian Birée, Pascal Sainrat
Multi-architecture Value Analysis for Machine Code (regular paper)
Dans : Workshop on Worst-Case Execution Time Analysis, Paris, 09/07/13, OASICs, Dagstuhl Publishing, p. 42-52, juillet 2013.