First-Order Schemata and Inductive Proof Analysis
Alexander Leitsch, David Michael Cerna & Anela Lolic
Concise Guide to Fault Tree Analysis
Mariëlle Stoelinga, Enno Ruijters & Pavel Krčál
Causal Discovery
Luis Enrique Sucar
Multi-valued Logic for Decision-Making Under Uncertainty
Evgeny Kagan, Alexander Rybalov & Ronald Yager
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto & Julien Signoles
Structural Decision Diagrams in Digital Test
Raimund Ubar, Jaan Raik, Maksim Jenihhin & Artur Jutman
Algorithms for Constructing Computably Enumerable Sets
Kenneth J. Supowit