Formal methods, techniques and tools for secure and reliable applications

Ahmed Patel. Formal methods, techniques and tools for secure and reliable applications. Computer Standards & Interfaces, 27(5):439-443, 2005. [doi]

Abstract

Abstract is missing.