Cited By
View all- Jahan SMarshall AGamble R(2017)Embedding Verification Concerns in Self-Adaptive System Code2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)10.1109/SASO.2017.21(121-130)Online publication date: Sep-2017
- Sharma A(2014)Verified Subtyping with Traits and MixinsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.156.8156(45-51)Online publication date: 8-Jul-2014
- Bettini LDamiani FKolodziej JChilders B(2014)Generic traits for the Java platformProceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools10.1145/2647508.2647518(5-16)Online publication date: 23-Sep-2014
- Show More Cited By