Where can I learn more about Formal Methods ?

Dines Bjørner
CSE: Computer Science and Engineering
IMM: Informatics and Mathematical Modelling
Building 322, Richard Petersens Plads
DTU: Technical University of Denmark
DK-2800 Kgs.Lyngby, Denmark
E-Mail: db@imm.dtu.dk, URL: www.imm.dtu.dk/ db

June 13, 2003

This page is presently under construction

• Abstract:
  • ...
  • ...
  • ...

TO BE WRITTEN

Meanwhile, and in any case, pls. refer to

• FME Subgroup on Education
• Formal Methods Education Resources
• ITiCSE Working Group on Support for Teaching and Learning Formal Methods

TO BE WRITTEN

See some related Formal Methods pages:

• The CSE/IMM/DTU CoLogNET Home Page
  • What is a meant by Formal Method ?
  • Why Formal Methods ?
  • Why is Formal Methods Necessary ?
  • For which applications do I use Formal Methods ?
  • How does one apply Formal Methods ?
  • When does one apply Formal Methods ?
  • Who's Who in Formal Methods ? - from ``The'' Formal Methods home page
  • Which are some major Formal Methods ?
• Jonathan Bowen's Masterpiece

...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...

About this document ...

Where can I learn more about Formal Methods ?

This document was generated using the LaTeX2HTML translator Version 2K.1beta (1.47)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split 0 -toc_depth 6 where

The translation was initiated by on 2003-06-13