High assurance services computing - Paul, Raymond; Dong, Jing.; Zhang, Liang-Jie.; SpringerLink (Online service) (Boston, MA : Springer-Verlag US, 2009)
Keywords: Web services -- Reliability; Business -- Data processing; Computer Science; Systems and Data Security; Programming Languages, Compilers, Interpreters; Programming Techniques; Processor Architectures; Performance and Reliability; Software Engineering/Programming and Operating Systems