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
Invited Talks
Takuya Katayama: How Can We Make Industry Adopt Formal Methods?
1
Jeff Offutt: Programmers Ain't Mathematicians, and Neither Are Testers.
2
John Hatcliff: Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows.
3-4
data released under the ODC-BY 1.0 license
