Detail

Publication date: 3 de March, 2022

Publication Propositions-as-types and shared state – Journal Numerical Algorithms


Journal Numerical Algorithms
Publisher ACM
Volume 5
Pub. Date 02/08/2021