Deciding Impossible Futures

Lecture notes in computer science 2026

View at publisher Summarise with VIRAT
Authors: Maurice Laveaux, Tim A. C. Willemse
DOI: 10.1007/978-3-032-20684-8_9
Cited by: 0
References: 14

Summary

No summary yet. VIRAT can read this paper and write a plain-language summary of its aim, methods, key findings and limitations.

Summarise with VIRAT Free to try with your Science Catalogs account.

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Software Testing and Debugging Techniques

Publication details

Journal / source
Lecture notes in computer science
Pages
141–159
Publication date
1 January 2026
Language
EN