SYCO: A systematic testing tool for concurrent objects
Aktak:
Proceedings of CC 2016: The 25th International Conference on Compiler Construction
ISBN: 9781450342414
Argitalpen urtea: 2016
Orrialdeak: 269-270
Mota: Biltzar ekarpena