1
by Attoui, Ammar
Published 2000
Springer London
Table of Contents: ... System Engineering -- 6.1 Impact of Formal Specifications on Software Development -- 6.2 Reminder...