Search results for: C. Henson
IEEE Transactions on Nuclear Science > 2017 > 64 > 7-1 > 1846 - 1850
Journal of Electronic Materials > 2017 > 46 > 8 > 4875-4882
The journal of nutrition, health & aging > 2017 > 21 > 10 > 1111-1117
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 148-167
Lecture Notes in Computer Science > ZB 2000: Formal Specification and Development in Z and B > 344-362
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 329-347
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 103-126
Lecture Notes in Computer Science > Logic Programming > 215-231
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Semantic Theory > 172-191
British Journal of Pharmacology > 173 > 8 > 1350 - 1362