Software Guidance for DS 00-56 Issue 3 John McDermid.
©Ian Sommerville 2000Software Engineering, 6/e, Chapter 91 Formal Specification l Techniques for the unambiguous specification of software.
Computing and SE II Chapter 12: Software Testing Er-Yu Ding Software Institute, NJU.
Overview of Formal Methods. Topics Introduction and terminology FM and Software Engineering Applications of FM Propositional and Predicate Logic Program.
Comparative Formal Methods
CREST Centre of Excellence in Formal Methods in Programming 2003-04
Special Topics in Computational Biology: Formal Methods in Systems Biology Chris Langmead Department of Computer Science Carnegie Mellon University James.
Overview of Formal Methods
Formal Methods
Special Topics in Computational Biology : Formal Methods in Systems Biology
CR ST CREST Centre of Excellence in Formal Methods in Programming 2003-04 Ralph Back Director.