Formal methods for eternal networked software systems: advanced lectures by International school on Formal methods for the design of computer, communication, and software systems,, Bertinoro fromLecture Notes in Computer Science 0 Type: Book
