Publications

AuthID
P-00R-QSF

Author(s)

Monahan, R

Prevosto, V

Editor(s)

Monahan R.Prevosto V.Proenca J.

Document Type

Editorial Material

Year published

2019

Published

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

DOI: 10.4204/eptcs.310

SCOPUS: 2-s2.0-85079289212

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links