Jaco Geldenhuys

发表

Marcel Dunaiski, Willem Visser, Jaco Geldenhuys, 2016, J. Informetrics.
Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys, 2014, Software Engineering & Management.
Marcel Dunaiski, Willem Visser, Jaco Geldenhuys, 2019, J. Informetrics.
Jaco Geldenhuys, Antti Valmari, A. Valmari, 2004, TACAS.
Jaco Geldenhuys, Shaun Schreiber, Hendrik de Villiers, 2016, 2016 Pattern Recognition Association of South Africa and Robotics and Mechatronics International Conference (PRASA-RobMech).
Jaco Geldenhuys, Cornelia P. Inggs, Cornelia Inggs, 2007 .
Brink van der Merwe, Jaco Geldenhuys, J. Geldenhuys, 2010, South Afr. Comput. J..
Jaco Geldenhuys, Antti Valmari, Henri Hansen, 2009, ATVA.
Jaco Geldenhuys, Antti Valmari, A. Valmari, 2005, Theor. Comput. Sci..
Jaco Geldenhuys, J. Geldenhuys, 2010, 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications.
Imed Hammouda, Jaco Geldenhuys, Heikki Orsila, 2009 .
Jaco Geldenhuys, Cornelia P. Inggs, Jean Fourie, 2012, SAICSIT '12.
Marcel Dunaiski, Willem Visser, Jaco Geldenhuys, 2019, J. Informetrics.
Jaco Geldenhuys, Antti Valmari, A. Valmari, 2003, SPIN.
Jaco Geldenhuys, Antti Valmari, A. Valmari, 2001, CONCUR.
Marcel Dunaiski, Willem Visser, Jaco Geldenhuys, 2018, J. Informetrics.
Willem Visser, Jaco Geldenhuys, Gideon Redelinghuys, 2012, SAICSIT '12.
Willem Visser, Jaco Geldenhuys, W. Visser, 2020, TACAS.
Andries Petrus Engelbrecht, Jacek M. Zurada, Jaco Geldenhuys, 1995, IWANN.
Matthew B. Dwyer, Willem Visser, Jaco Geldenhuys, 2012, SIGSOFT FSE.
Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys, 2013, Automated Software Engineering.
Brink van der Merwe, Mark Farag, Jaco Geldenhuys, 2013, LATA.
Jaco Geldenhuys, Lynette van Zijl, L. V. Zijl, 2011, J. Univers. Comput. Sci..
Brink van der Merwe, Jaco Geldenhuys, Lynette van Zijl, 2011, ICTAC.
A. B. van der Merwe, Jaco Geldenhuys, Lynette van Zijl, 2014, Theor. Comput. Sci..
Nazareno Aguirre, Marcelo F. Frias, Willem Visser, 2015, IEEE Transactions on Software Engineering.
Jaco Geldenhuys, Henri Hansen, Henri Hansen, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Brink van der Merwe, Jaco Geldenhuys, Lynette van Zijl, 2009, FSMNLP.
Willem Visser, Jaco Geldenhuys, Jan Taljaard, 2020, NFM.
Imed Hammouda, Jaco Geldenhuys, Heikki Orsila, 2008, OSS.
Jaco Geldenhuys, J. Geldenhuys, 2004, SPIN.
Matthew B. Dwyer, Willem Visser, Jaco Geldenhuys, 2012, ISSTA 2012.
Jaco Geldenhuys, Bernd Fischer, B. Fischer, 2015, Lecture Notes in Computer Science.
Nazareno Aguirre, Marcelo F. Frias, Willem Visser, 2013, NASA Formal Methods.
Willem Visser, Jaco Geldenhuys, 2010, ASE '10.
Matthew B. Dwyer, Mitchell J. Gerrard, Corina S. Pasareanu, 2015, GTTSE.
Jaco Geldenhuys, P. J. A. de Villiers, J. Geldenhuys, 1999, SPIN.
Jaco Geldenhuys, Henri Hansen, Henri Hansen, 2006, SPIN.
Marcel Dunaiski, Willem Visser, Jaco Geldenhuys, 2018, J. Informetrics.
Brink van der Merwe, Jaco Geldenhuys, 2009 .