Formal Methods Applied to Industrial Complex Systems (Computer Engineering) by Jean-Louis Boulanger | Menrva Books | MenrvaBooks