Computer interfaces
Adding Support for Specification Inheritance and Generic Use to the Krakatoa/Why Platform
Drucker, Fabio Ariel
Translating B Machines To Java Modeling Language Specification
Yu, Danni
ETD2
Drucker, Fabio Ariel1
Yu, Danni1
Computer interfaces[remove]2
Java (Computer program language)2
Program transformation (Computer programming)2
English2
20112
Computer Science Honors Theses1
Mathematics Honors Theses1
Dickinson College2