Normal view MARC view ISBD view

Formal Methods and Software Engineering

Yamine Ait-Ameur, Shengchao Qin

Formal Methods and Software Engineering - Springer Springer 2019

ISBN: 9783030324094

Source: EBOOK