Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods

Introducing formal methods through role-playing

SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education

Using KIDS as a tool support for VDM

Proceedings of the 18th international conference on Software engineering

Pinnacles of software engineering: 25 years of formal methods

Annals of Software Engineering

Using CARE to Construct Verified Software

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

Program verification

Encyclopedia of Computer Science

Security as a safety issue in rail communications

SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33