Surrey researchers Sign in
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
Book

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

Brijesh Dongol, Luigia Petre and Graeme Smith
Theoretical Computer Science and General Issues, Springer International Publishing, 1st ed. 2019.
2019

Abstract

Programming languages (Electronic computers) Mathematical logic Artificial intelligence Computer logic Algorithms Software Engineering

Metrics

59 Record Views

Details

Usage Policy