Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software ...

Name: Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software ...
ISBN: 9783642309816

Marco Bernardo , Vittorio Cortellessa , Alfonso Pierantonio

还没有评分