1
by Bellagamba, Laurence
Published 2012
CRC Press
... in our ability to provide formal requirements for doing many aspects of software engineering and embedded...