Konrad Slind

发表

Richard J. Boulton, Joe Hurd, Konrad Slind, 2009 .
Cesare Tinelli, Konrad Slind, Lucas Wagner, 2017, NFM.
Richard J. Boulton, Michael Norrish, Konrad Slind, 2003, International Journal on Software Tools for Technology Transfer.
Konrad Slind, 2000, CADE.
Tobias Nipkow, Konrad Slind, T. Nipkow, 1994, TYPES.
Yue Yang, Ganesh Gopalakrishnan, Konrad Slind, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Richard J. Boulton, Michael Norrish, Konrad Slind, 2000, TACAS.
Konrad Slind, Scott Owens, Juliano Iyoda, 2005 .
Richard J. Boulton, Alan Bundy, Konrad Slind, 1998, TPHOLs.
Ganesh Gopalakrishnan, Konrad Slind, Sudhindra Pandav, 2005, CHARME.
Konrad Slind, 1994, TPHOLs.
Konrad Slind, Darren D. Cofer, Gerwin Klein, 2015, Dagstuhl Reports.
Konrad Slind, Magnus O. Myreen, Michael J. C. Gordon, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).
Cesare Tinelli, Konrad Slind, Alain Mebsout, 2017 .
Konrad Slind, Scott Owens, Scott Owens, 2008, High. Order Symb. Comput..
Konrad Slind, Michael J. C. Gordon, Scott Owens, 2006, Electron. Notes Theor. Comput. Sci..
Konrad Slind, 1993, HUG.
Konrad Slind, Darren D. Cofer, John D. Backes, 2014, HILT '14.
Konrad Slind, Michael J. C. Gordon, Scott Owens, 2007, Formal Aspects of Computing.
Konrad Slind, Michael W. Whalen, Darren Cofer, 2014 .
Konrad Slind, Magnus O. Myreen, Michael J. C. Gordon, 2009, CC.
Guodong Li, Konrad Slind, 2008, TACAS.
Konrad Slind, Scott Owens, Scott Owens, 2003 .
Michael Norrish, Konrad Slind, Michael Norrish, 2005, TPHOLs.
Ganesh Gopalakrishnan, Konrad Slind, Annette Bunker, 2005, International Journal on Software Tools for Technology Transfer.
Richard J. Boulton, Konrad Slind, Michael J. C. Gordon, 2004, Lecture Notes in Computer Science.
Konrad Slind, Michael Whalen, Tuan-Hung Pham, 2011 .
Joe Hurd, Konrad Slind, 2003, TPHOLs.
Guodong Li, Konrad Slind, Scott Owens, 2010, Design and Verification of Microprocessor Systems for High-Assurance Applications.
Konrad Slind, Konrad Slind, 2000, TPHOLs.
Konrad Slind, Scott Owens, David S. Hardin, 2016, SAFECOMP.
Konrad Slind, Brian W. Unger, 1987 .
Michael Norrish, Konrad Slind, Michael Norrish, 2008, TPHOLs.
Konrad Slind, 1992 .
Konrad Slind, David A. Greve, 2013, ACL2.
Konrad Slind, Michael W. Whalen, David S. Hardin, 2012 .
Guodong Li, Konrad Slind, 2007, CADE.
Konrad Slind, Michael W. Whalen, Tuan-Hung Pham, 2012, HILT '12.
Richard J. Boulton, Alan Bundy, Konrad Slind, 1997 .
Matthew Flatt, Konrad Slind, Scott Owens, 2007 .
Yue Yang, Ganesh Gopalakrishnan, Konrad Slind, 2003, CHARME.
Richard J. Boulton, Alan Bundy, Konrad Slind, 1998, CADE.
Michael Norrish, Konrad Slind, 2002, Comput. J..
Konrad Slind, Magnus O. Myreen, Michael J. C. Gordon, 2008, 2008 Formal Methods in Computer-Aided Design.
Guodong Li, Konrad Slind, Scott Owens, 2007, ESOP.
Richard J. Boulton, Konrad Slind, 1998 .
Konrad Slind, Olaf Müller, Konrad Slind, 1997, Comput. J..
Richard J. Boulton, Joe Hurd, Konrad Slind, 2009, Journal of Automated Reasoning.
Konrad Slind, John G. Cleary, Brian W. Unger, 1986 .
Guodong Li, Joe Hurd, Konrad Slind, 2005, LPAR.
Richard J. Boulton, Tobias Nipkow, Alan Bundy, 2003, Lecture Notes in Computer Science.
Konrad Slind, Brian W. Unger, Greg Lomow, 1987, TOCS.
Konrad Slind, Konrad Slind, 1996, TPHOLs.
Konrad Slind, Konrad Slind, 2021, ITP.
Konrad Slind, Darren D. Cofer, Eric Mercer, 2021, 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).
Konrad Slind, Guodong Li, 2008 .
Konrad Slind, Sivaram Gopalakrishnan, Robert Palmer, 2005 .