jpf−concurrent: an extension of Java PathFinder for java.util.concurrent

Autor:	Mateusz Ujma, Nastaran Shafiei
Rok vydání:	2016
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a69f9069ed96de12163b71e1e89c5952 https://ora.ox.ac.uk/objects/uuid:3adc205b-270e-4ab6-99ce-ee26ee89b6f3 Zobrazit plný text záznamu