Show items per page
Elements: 2
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
ML4CREST: Machine Learning for CPS Models Klikovits, Stefan; Coet, Aurélien; Buchs, Didier 2018
add to browser selection
An Annotation System for Specifying Aliasing Invariants on Object Fields. Proceedings of the 4th International Conference on the Art, Science and Engineering of Programming Coet, Aurélien 2020