Rajaa
Hakutulokset: 9783319471655
Rajaa
yksi hakutulos.
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
nidottu,
2016,
englanti,
ISBN 9783319471655
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and …