Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige


    Teaching Formal Methods: Practice and Experience

    BCS London Office, UK, 15 December 2006

    This conference was edited by:

    P. Boca
    BCS-FACS and Programming Research Ltd
    Programming Research Ltd website

    J. P. Bowen
    BCS-FACS and Museophile Ltd
    Jonathan Bowen's webpage

    D. A. Duce
    Oxford Brookes University, UK
    David Duce's webpage


    Conference Papers