Please use this identifier to cite or link to this item:
http://localhost:8080/xmlui/handle/123456789/138505
Title: | Dynamic Dispatch for Method Contracts Through Abstract Predicates |
Authors: | Mostowski, Wojciech Ulbrich, Mattias |
Issue Date: | 2017 |
Publisher: | Springer |
link: | http://www.oapen.org/download/?type=document&docid=644831 |
Keywords: | Computer Science;dispatch;encapsulation;ghost |
ISBN: | 9783319469690 |
Theme: | 教科書-自然科學類 |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.