Vitalsource Technologies, Inc. Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings

Sponsored  This site contains affiliate links for which we may receive compensation. More information
Identifiers
Dimensions / Weight
Key Features
Springer International Publishing