Algorithmic Building Blocks

Computer science foundations and applied logic 2026 Book chapter

View at publisher
Authors: Mariëlle I. A. Stoelinga, Enno Ruijters, Pavel Krčál
DOI: 10.1007/978-3-031-78287-9_3
Cited by: 0
References: 8

Fields of Study & Subjects

VLSI and Analog Circuit Testing Formal Methods in Verification

Publication details

Journal / source
Computer science foundations and applied logic
Pages
29–40
Publication date
1 January 2026
Language
EN
Document type
Book chapter