Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
Files
Date
2016
Authors
Sandra Alves