autore : Maxime Louvel

2 riviste
book Journal of Logical and Algebraic Methods in Programming (JLAMP)
book Lecture Notes in Computer Science (LNCS)
[ nuvola degli autori  /  riviste ]