@dblp

Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation.

, , and . APLAS, volume 10017 of Lecture Notes in Computer Science, page 335-353. (2016)

Links and resources

Tags