1
Mazzara, Manuel
2016
Table of Contents:
“... I/O Automata -- RSSA: A Reversible SSA Form -- Checking Several Requirements at once by CEGAR -- Unifying Requirements and Code: an Example -- Program Scheme Technique to Solve Propositional Program Logics Revised -- Automated Two-Phase Composition...”2016
Full text