Formal Asp. Comput.

Journal

Publications

1 - 17 out of 17Page size: 25
RSS feed of this list
  1. 2012

  2. Specification and Refinement of Type Interfaces in Scientific Software

    Galloway, A. J., Harris, P., Woodcock, J. & Paige, R. F., 2012, (In preparation)

    Article in Formal Asp. Comput.

  3. 2011

  4. Editorial

    Kroening, D., Margaria, T. & Woodcock, J., 2011

    Article in Formal Asp. Comput.

  5. Editorial

    Liu, Z. & Woodcock, J., 2011

    Editorial in Formal Asp. Comput.

  6. 2009

  7. Special Issue: Concurrency and Real-Time for Eiffel-like Languages

    Paige, R. F. & Brooke, P. J., Aug 2009

    Editorial in Formal Asp. Comput.

  8. Editorial

    Paige, R. F., Brooke, P. J., Dong, J. S. & Woodcock, J. C. P., 2009

    Article in Formal Asp. Comput.

  9. 2008

  10. Editorial

    Jones, C. B. & Woodcock, J., 2008

    Article in Formal Asp. Comput.

  11. Guest Editorial

    Barkaoui, K., Broy, M., Cavalcanti, A. & Cerone, A., 2008

    Editorial in Formal Asp. Comput.

  12. 2007

  13. Editorial

    Jones, C. B. & Woodcock, J., 2007

    Editorial in Formal Asp. Comput.

  14. 2006

  15. The verified software repository: a step towards the verifying compiler

    Bicarregui, J., Hoare, C. A. R. & Woodcock, J. C. P., 2006

    Article in Formal Asp. Comput.

  16. 2000

  17. The First World Congress on Formal Methods in the Development of Computing Systems

    Wing, J. M. & Woodcock, J., 2000

    Article in Formal Asp. Comput.

  18. 1999

  19. `The Standard Logic for Z': A Clarification

    King, S., 1999

    Article in Formal Asp. Comput.

  20. 1998

  21. Heterogeneous Notations for Pure Formal Method Integration

    Paige, R. F., 1998

    Article in Formal Asp. Comput.

  22. ZRC - A Refinement Calculus for Z

    Cavalcanti, A. & Woodcock, J., 1998

    Article in Formal Asp. Comput.

  23. 1996

  24. A Tactic Calculus-Abridged Version

    Martin, A. P., Gardiner, P. H. B. & Woodcock, J., 1996

    Article in Formal Asp. Comput.

  25. 1995

  26. Event Refinement in State-Based Concurrent Systems

    Sinclair, J. & Woodcock, J., 1995

    Article in Formal Asp. Comput.

  27. Exits in the Refinement Calculus

    King, S. & Morgan, C., 1995

    Article in Formal Asp. Comput.

  28. 1991

  29. A Demonstrably Correct Compiler

    Stepney, S., Whitely, D., Cooper, D. & Grant, C., 1991

    Article in Formal Asp. Comput.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data