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

AuthID
 P-00R-FEN
3
Author(s)
Hoare, T
·
3
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
Scopus®
Dblp®/en/publications/view/802261
Google Scholar®
Publication Identifiers
DBLP: conf/tfm/HoareMF99
SCOPUS: 2-s2.0-85076087584
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service