Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

C2 Edited book


Internal Authors/Editors


Publication Details

List of Authors: Brijesh Dongol, Luigia Petre, Graeme Smith
Publication year: 2019
Title of series: Theoretical Computer Science and General Issues
Volume number: 11758
ISBN: 978-3-030-32440-7


Last updated on 2020-02-04 at 04:45