tag : formal methods

1 journal | series  /  Giovanni Ciatto
book Journal of Logical and Algebraic Methods in Programming (JLAMP)
[ tag cloud  /  Giovanni Ciatto  /  journals & series ]