×
  • Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

    Marco Bernardo Ferruccio Damiani Reiner Haehnle Einar Broch Johnsen Ina Schaefer

Click on cover to enlarge.
8 - 9Hours to read