Discovering concurrency errors
João M. Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
10
Link opens in a new tab
Citations
(Scopus)