SYCO: A systematic testing tool for concurrent objects
Actes de conférence:
Proceedings of CC 2016: The 25th International Conference on Compiler Construction
ISBN: 9781450342414
Année de publication: 2016
Pages: 269-270
Type: Communication dans un congrès
