Search results for: R. Hoare
Journal of Applied Microbiology > 125 > 3 > 686 - 699
Journal of Fish Diseases > 41 > 2 > 309 - 320
Veterinary Research > 2017 > 48 > 1 > 1-13
Equine Veterinary Journal > 48 > 4 > 442 - 450
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 1-18
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 1-17
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 288-335