No. Title Author Year
1 A Program Logic for First-Order Encapsulated WebAssembly Watt, Conrad et al. 2019
2 A Concurrent Specification of POSIX File Systems Ntzik, Gian et al. 2018
3 Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191) Birkedal, Lars et al. 2015
4 04241 Abstracts Collection -- Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems König, Barbara et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Imprint | Privacy Published by LZI