A fully verified container library

Nadia Polikarpova(University of California San Diego), Carlo A. Furia(Università della Svizzera italiana)
Formal Aspects of Computing
September 20, 2017
10.1007/s00165-017-0435-1
Cited by 16

Related Papers

No related papers found

Powered by citation graph analysis