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.