Formal Methods Teaching
Subtitle: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ...
Publisher: Springer
Published: Oct 16, 2019
Format: paperback
Number of pages: 261
ISBN-13: 9783030324407
Notes: Source title: Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... (Lecture Notes in Computer Science (11758))