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

Bibliographic Details
Main Authors: Ujma, M, Shafiei, N
Format: Conference item
Published: 2011
_version_ 1797063514119995392
author Ujma, M
Shafiei, N
author_facet Ujma, M
Shafiei, N
author_sort Ujma, M
collection OXFORD
description
first_indexed 2024-03-06T21:00:58Z
format Conference item
id oxford-uuid:3adc205b-270e-4ab6-99ce-ee26ee89b6f3
institution University of Oxford
last_indexed 2024-03-06T21:00:58Z
publishDate 2011
record_format dspace
spelling oxford-uuid:3adc205b-270e-4ab6-99ce-ee26ee89b6f32022-03-26T14:04:08Zjpf−concurrent: an extension of Java PathFinder for java.util.concurrentConference itemhttp://purl.org/coar/resource_type/c_5794uuid:3adc205b-270e-4ab6-99ce-ee26ee89b6f3Department of Computer Science2011Ujma, MShafiei, N
spellingShingle Ujma, M
Shafiei, N
jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
title jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
title_full jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
title_fullStr jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
title_full_unstemmed jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
title_short jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
title_sort jpf concurrent an extension of java pathfinder for java util concurrent
work_keys_str_mv AT ujmam jpfconcurrentanextensionofjavapathfinderforjavautilconcurrent
AT shafiein jpfconcurrentanextensionofjavapathfinderforjavautilconcurrent