Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. Youth and young adulthood

    Bradshaw, J., 2009.

    Research output: Contribution to conferencePaper

  2. Z Effects on Fast Electron Transport in Fast Ignition ICF

    Chawla, S., Wei, M., Mishra, R., Chen, C., Batani, D., Chen, H., Fedosejevs, R., Freeman, R., Friesen, H., Gizzi, L. A., Jarrott, L. C., Jacquez, J., Koester, P., Labate, L., Link, A., Levato, T., McLean, H., Morace, A., Ovchinnikov, V., Pasley, J. R. & 5 others, Patel, P., Sawada, H., Sentoku, Y., Stephens, R. B. & Beg, F., Oct 2011. 1 p.

    Research output: Contribution to conferenceAbstract

  3. Z and the Refinement Calculus

    King, S., 1990, p. 164-188.

    Research output: Contribution to conferencePaper

  4. Z/Eves and the Mondex Electronic Purse

    Woodcock, J. & Freitas, L., 2006, p. 15-34.

    Research output: Contribution to conferencePaper

  5. ZB 2000: Formal Specification and Development in Z and B

    Bowen, J. P., Dunne, S., Galloway, A. & King, S., 2000.

    Research output: Contribution to conferencePaper

  6. ZB 2005: Formal Specification and Development in Z and B

    Treharne, H., King, S., Henson, M. C. & Schneider, S. A., 2005.

    Research output: Contribution to conferencePaper