Grégoire, Thomas
Chlipala, Adam
Funding for this research was provided by:
U.S. Department of Energy, Office of Science, Advanced Scientific Computing Research Program (DE-SC0008923)
National Science Foundation (CCF-1253229)
Article History
Received: 7 February 2017
Accepted: 8 January 2018
First Online: 14 February 2018