Input-Based Three-Valued Abstraction Refinement

Lecture notes in computer science 2026 Open access

Read full text

Authors: Jan Onderka, Stefan Ratschan

DOI: 10.1007/978-3-032-15700-3_12

Cited by: 0

References: 45

Fields of Study & Subjects

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

References 45