Bibliography

[1]     Abrial, Jean-Raymond, The B Book: Assigning Programs To Meanings, Cambridge University Press (2005)

[2]     Ackerman, A., L. Buchwald, and F. Lewski, Software Inspections: An Effective Verification Process, IEEE Software, Vol. 6, No. 3 (May 1989)

[3]     Ada Information Clearinghouse, Ada Reference Manual, ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1http://www.adaic.com/standards/05rm/RM-Final.pdf

[4]     Ada Information Clearinghouse, Ada Reference Manual, ISO/IEC 8652:1995(E) with Technical Corrigendum 1http://www.adaic.com/standards/95lrm/html/RM-TTL.html

[5]     Adelard LLP, Adelard Safety Case Editorhttp://www.adelard.com

[6]     Akera, A., The Circulation of Knowledge and the Origins of the ENIAC: ...

Get Fundamentals of Dependable Computing for Software Engineers now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.