Recent Trends in Algebraic Development Techniques - 26Th Ifip Wg 1.3 International Workshop, Wadt 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

AuthID
P-00Z-92C
2
Author(s)
Document Type
Proceedings
Year published
2023
Published
in WADT in Lecture Notes in Computer Science
Volume: 13710
Indexing
Publication Identifiers
DBLP: conf/wadt/2022
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.