Vitalsource Technologies, Inc. Modular Specification And Verification Of Object-oriented Programs

General

Brand
Springer Berlin Heidelberg

Characteristics

Menu