par Dave, Vrunda;Filiot, Emmanuel ;Krishna, Shankara Narayanan;Lhote, Nathan
Référence Logical methods in computer science, 18, 2
Publication Publié, 2022-01-01
Article révisé par les pairs