Login / Signup

Memory-Model-Aware Testing: A Unified Complexity Analysis.

Florian FurbachRoland MeyerKlaus SchneiderMaximilian Senftleben
Published in: ACM Trans. Embed. Comput. Syst. (2015)
Keyphrases