J. Geldenhuys

发表

Marcel Dunaiski, Willem Visser, Jaco Geldenhuys, 2016, J. Informetrics.

Jaco Geldenhuys, J. Geldenhuys, 2004, SPIN.

Matthew B. Dwyer, Willem Visser, Jaco Geldenhuys, 2012, SIGSOFT FSE.

Jaco Geldenhuys, Antti Valmari, A. Valmari, 2004, TACAS.

Jaco Geldenhuys, Antti Valmari, A. Valmari, 2001, CONCUR.

Matthew B. Dwyer, Willem Visser, Jaco Geldenhuys, 2012, ISSTA 2012.

Jaco Geldenhuys, Henri Hansen, Henri Hansen, 2006, SPIN.

Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys, 2014, Software Engineering & Management.

Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys, 2013, Automated Software Engineering.

Willem Visser, Jaco Geldenhuys, W. Visser, 2020, TACAS.

Jaco Geldenhuys, Antti Valmari, Henri Hansen, 2009, ATVA.

Jaco Geldenhuys, Henri Hansen, Henri Hansen, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

Jaco Geldenhuys, Antti Valmari, A. Valmari, 2005, Theor. Comput. Sci..

Jaco Geldenhuys, Cornelia P. Inggs, Cornelia Inggs, 2007 .

Imed Hammouda, Jaco Geldenhuys, Heikki Orsila, 2009 .

Marcel Dunaiski, Willem Visser, Jaco Geldenhuys, 2018, J. Informetrics.

Jaco Geldenhuys, Cornelia P. Inggs, Jean Fourie, 2012, SAICSIT '12.

Nazareno Aguirre, Marcelo F. Frias, Willem Visser, 2015, IEEE Transactions on Software Engineering.

Nazareno Aguirre, Marcelo F. Frias, Willem Visser, 2013, NASA Formal Methods.

Jaco Geldenhuys, J. Geldenhuys, 2010, 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications.

Jaco Geldenhuys, P. J. A. de Villiers, J. Geldenhuys, 1999, SPIN.

J. Geldenhuys, P. D. de Villiers, 1999 .

Brink van der Merwe, Jaco Geldenhuys, J. Geldenhuys, 2010, South Afr. Comput. J..

A. B. van der Merwe, Jaco Geldenhuys, Lynette van Zijl, 2014, Theor. Comput. Sci..

Brink van der Merwe, Jaco Geldenhuys, Lynette van Zijl, 2011, ICTAC.

Jaco Geldenhuys, Lynette van Zijl, L. V. Zijl, 2011, J. Univers. Comput. Sci..

Jaco Geldenhuys, Bernd Fischer, B. Fischer, 2015, Lecture Notes in Computer Science.

Matthew B. Dwyer, Mitchell J. Gerrard, Corina S. Pasareanu, 2015, GTTSE.

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, Antti Valmari, A. Valmari, 2003, SPIN.