E- text books

Description

Title of E-book: FME '93: Industrial-Strength Formal Methods
Author: Woodcock 
Publisher: Springer
Access online  

Publication date: 1993