What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Mario Gleirscher

A grouping.

Where formal methods stand and whether they should be taught: two surveys of integrated formal methods and of their place in dependable systems engineering, and 'Does Every Computer Scientist Need to Know Formal Methods?', which puts the question at the level of the curriculum rather than the project.