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...”

Full text 

Table of Contents: “... -- On the Specific Damaging Effects of Surface and Near-Surface Inclusions -- On a Correspondence Between Mechanical and Thermal Effects in Two-Phase Composites -- On Atomic Spacing in Large Regular Cubic Lattices -- Crack Tip Toughening by Inclusions with Pairs of Shear...”

Full text