Filter
Sökt på: Sökresultat
Filter
1 träff
Formal Methods Teaching
häftad,
2019,
Engelska,
ISBN 9783030324407
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, …