6 citations · 9 across the 11 of their papers we have counts for
1 paper · 2 filters
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…