co-autore : formal methods

1 rivista o collana  /  Giovanni Ciatto
book Journal of Logical and Algebraic Methods in Programming (JLAMP)
[ nuvola tag  /  Giovanni Ciatto  /  riviste e collane ]