Shaoying Liu, T. S. E. Maibaum, Keijiro Araki (Eds.):
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings.
Lecture Notes in Computer Science 5256 Springer 2008, ISBN 978-3-540-88193-3
10. ICFEM 2008:
: Programmers Ain't Mathematicians, and Neither Are Testers.
: Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows.
Specification and Verification
Model Checking and Analysis
: A Practical Approach to Partiality - A Proof Based Approach.
Application of Formal Methods