Mike Whalen
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 7
Publications (10 Years): 7
Publications
- Soha Hussein, Stephen McCamant, Mike Whalen
- Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
- Lars Grunske, Mike Whalen
- Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh GhassabaniThe JKind Model Checker. CoRR (2017)
- Jimin Gao, Mike Whalen, Eric Van Wyk