1
出版事項 2013
目次: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
全文の入手
電子媒体 eBook
2
出版事項 2015
目次: ...-To-End Authentication for Mobile Banking -- Improving Mutation Testing Process of Python Programs -- Task...
全文の入手
電子媒体 eBook