Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function.
| Autor: | Winter, Victor L., Reinke, Carl, Guerrero, Jonathan |
|---|---|
| Zdroj: | 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering; 2014, p137-145, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|