View of Technical systems in logic: questions of formalization and automatic verification

Return to Article Details Technical systems in logic: questions of formalization and automatic verification Download Download PDF