Recent Trends in Algebraic Development Techniques - Recent Trends in Algebraic Development Techniques Access content directly
Books Year : 2019

Recent Trends in Algebraic Development Techniques

Abstract

Book Front Matter of LNCS 11563
LNCSIFIP11563DL_2019_BookFrontmatter.pdf (1.91 Mo) Télécharger le fichier

Dates and versions

hal-02364573 , version 1 (15-11-2019)

Licence

Attribution

Identifiers

Cite

José Fiadeiro, Ionuț Țuțu. Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers. Springer International Publishing, LNCS-11563, 2019, Lecture Notes in Computer Science, 978-3-030-23219-1. ⟨10.1007/978-3-030-23220-7⟩. ⟨hal-02364573⟩
28 View
77 Download

Altmetric

Share

Gmail Facebook X LinkedIn More