jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
Main Authors: | , |
---|---|
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 |