Typestates to Automata and Back: A Tool

AuthID
P-00S-X0Z
3
Author(s)
Trindade, A
·
Mota, J
·
4
Editor(s)
Lange,J;Mavridou,A;Safina,L;Scalas,A
Document Type
Proceedings Paper
Year published
2020
Published
in Electronic Proceedings in Theoretical Computer Science, EPTCS, ISSN: 2075-2180
Volume: 324, Pages: 25-42
Conference
13Th Interaction and Concurrency Experience, Ice 2020, Date: 19 June 2020
Indexing
Publication Identifiers
Scopus: 2-s2.0-85093356862
Source Identifiers
ISSN: 2075-2180
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.