1 paper
Anna Zhang, Qinglan Luo, London Bielicke +2
The design of scientific experiments deserves its own variation of formal verification to catch cases where scientists made important mistakes, such as forgetting to take confoundi…