Formal techniques for getting software right: some old ideas and some new tools Applied Formal Methods Research Group 2012-11-02 David Lightfoot: [email protected].
Modelling Time in Computation (Dynamic Systems)
Formal techniques for getting software right: some old ideas and some new tools
Operating Systems
Automated Theorem Proving: A Retrospection & Applications of Formal Methods
B-OperatingSystems