Search results for: Andrew Ireland
International Journal of Heat and Mass Transfer > 2017 > 106 > C > 1303-1317
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Position Papers > 422-427
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Formal Verification > 275-290
Lecture Notes in Computer Science > MICAI 2004: Advances in Artificial Intelligence > Logic and Constraint Programming > 190-201
Formal Aspects of Computing > 2014 > 26 > 2 > 203-249
Experimental Thermal and Fluid Science > 2013 > 49 > Complete > 1-13
Science of Computer Programming > 2013 > 78 > 3 > 293-309