ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals
Ott, Jason, Tan, Daniel, Loveless, Tyson, Grover, William H., Brisk, PhilipLanguage:
english
Journal:
Journal of Chemical Information and Modeling
DOI:
10.1021/acs.jcim.9b00951
Date:
January, 2020
File:
PDF, 947 KB
english, 2020