Detail

Publication date: 01/03/2015

Revisiting Concurrent Separation Logic and Operational Semantics

Authors

Pedro Soares, António Ravara, Simão Melo de Sousa,

Publisher IEEE
Publisher IEEE