A fully verified container library

Nadia Polikarpova(Massachusetts Institute of Technology), Carlo A. Furia(Chalmers University of Technology)
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