News Details
05.12.2008 11:14 Age: 3 year(s)
ICFEM 2008
Dr. Farhad Mehta delivered a talk entitled "A Practical Approach to Partiality: A Proof Based Approach" at the 10th annual International Conference on Formal Engineering Methods (ICFEM 2008) in Kitakyushu-City, Japan.
The talk was about his recent research on the correct construction of safety-critical systems using development methods based on formal mathematics.
An article with the same name has been published as part of the "Formal Methods and Software Engineering" volume of the Springer series on Lecture Notes in Computer Science (LNCS 5256).
|
Article "A Practical Approach to Partiality: A Proof Based Approach" von Dr. Farhad Mehta |
|
Volume LNCS 5256 of the serie "Lecture Notes in Computer Science" of Springer |
