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

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, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and se...

Full description

Bibliographic Details

Other Authors:	Dongol, Brijesh (Editor), Petre, Luigia (Editor), Smith, Graeme (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer International Publishing 2019, 2019
Edition:	1st ed. 2019
Series:	Theoretical Computer Science and General Issues
Subjects:	Compilers (computer Programs) Compilers And Interpreters Software Engineering Algorithms Logic In Ai. Formal Languages And Automata Theory Machine Theory Logic Programming
Online Access:	https://doi.org/10.1007/978-3-030-32441-4?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa