The University of Texas at El Paso — United States
Computer Science · Physical Sciences
2h-index54citations3works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Engineering Research(2), Software Testing and Debugging Techniques(2), Teaching and Learning Programming(1), Software Reliability and Analysis Research(1), Health, Medicine and Society(1)
Publications3 total
scholarworks - UTEP (The University of Texas at El Paso)·2005· 51 citedOpen Access
Comparing verification results of a cryptographic protocol, BAN Kerberos, through Isabelle and SPIN
scholarworks - UTEP (The University of Texas at El Paso)·2004