Publications

Logic, Algebra, and Geometry at the Foundation of Computer Science

AuthID
P-00R-FEN

Author(s)

Hoare, T

Mendes, A

Ferreira, JF

Editor(s)

Brijesh Dongol; Luigia Petre; Graeme Smith

Document Type

Proceedings Paper

Year published

2019

Published

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 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 11758, Pages: 3-20

Conference

3Rd International Workshop and Tutorial, Fmtea 2019, Held as Part of the 3Rd World Congress on Formal Methods, Fm 2019, Date: 7 October 2019 through 7 October 2019

Indexing