Formal methods for executable software models: 14th International School on Formal Methods for t…
by Hähnle, Reiner, Schaefer, Ina, Johnsen, Einar Broch, Damiani, Ferruccio, Bernardo, Marco, International school on formal methods for the design of computer, communication and software systems, Bertinoro, Italie)
fromLecture Notes in Computer Science
0
Type: Book