External Links

    Journal: Information \& Software Technology

    Volume 37, Issue 5-6

    258 -- 259Jonathan P. Bowen, Mike Hinchey. Editorial
    261 -- 268David Garlan. Making formal methods education effective for professional software engineers
    269 -- 276Jonathan P. Bowen, Mike Gordon. A shallow embedding of Z in HOL
    277 -- 283Peter Mataga, Pamela Zave. Using Z to specify telephone features
    285 -- 291Keith Mander, Fiona A. C. Polack. Rigorous specification using structured systems analysis and Z
    293 -- 301Samuel H. Valentine. The programming language Z-
    303 -- 316Kevin Lano, Howard P. Haughton. Formal development in B abstract machine notation
    317 -- 332Jonathan P. Bowen, Susan Stepney, Rosalind Barden. Annotated Z bibliography
    333 -- 334Jonathan P. Bowen. Glossary of Z notation
    335 -- 336Jonathan P. Bowen, Mike Hinchey. Report on Z user meeting (ZUM '94)
    runs on