
Automated Technology for Verification and Analysis
2 contributors - Paperback
£64.99
Find out more
Zhe Hou is a lecturer in the School of Information and Communication Technology at Griffith University, Nathan, Australia. His research pursuits include explainable AI, autonomous systems, formal verification, and automated reasoning.