Preface

AuthID
 P-00R-QSF
3
Author(s)
Monahan, R
·
Prevosto, V
·
1
Editor(es)
Monahan R.Prevosto V.Proenca J.
Tipo de Documento
Editorial Material
Year published
2019
Publicado
in Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN: 2075-2180
Volume: 310
Conference
5Th Workshop on Formal Integrated Development Environment, F-Ide 2019, Date: 7 October 2019
Indexing
Scopus®
Crossref®
Google Scholar®
Publication Identifiers
SCOPUS: 2-s2.0-85079289212
Source Identifiers
ISSN: 2075-2180
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