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

AuthID
 P-00R-FEN
3
Author(s)
Hoare, T
·
3
Editor(es)
Brijesh Dongol; Luigia Petre; Graeme Smith
Tipo de Documento
Proceedings Paper
Year published
2019
Publicado
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, Páginas: 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®/pt/publications/view/802261
Google Scholar®
Publication Identifiers
DBLP: conf/tfm/HoareMF99
SCOPUS: 2-s2.0-85076087584
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service