1
出版事項 2014
目次: ... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ... of Logic -- Session 1 -- Typechecking Higher-Order Security Libraries -- Towards Deriving Type Systems...
全文の入手
電子媒体 eBook
3
出版事項 2014
目次: ... -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data...
全文の入手
電子媒体 eBook