Show items per page
Elements: 2
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
Properties specification language for algebraic Petri nets Marechal Marin, Alexis Ayar; Buchs, Didier 2010
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