DSpace at KOASAS
Browsing DSpace

Browse "CS-Journal Papers(저널논문)" by Author Dinsdale-Young, Thomas

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 1 of 1

1
Views: Compositional Reasoning for Concurrent Programs

Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.1, pp.287 - 299, 2013-01

Discover

rss_1.0 rss_2.0 atom_1.0