Lori Clarke

Lori Clarke

Professor of Computer Science, University of Massachusetts Amherst
在 cs.umass.edu 的电子邮件经过验证
被引用次数：8400
Software Engineering Software testing and verification human-intensive systems
George Avrunin

George Avrunin

Professor Emeritus of Mathematics and Statistics
在 math.umass.edu 的电子邮件经过验证
被引用次数：6981
cohomology of groups model checking human-intensive systems