Jakstab

swMATH25254MaRDI QIDQ36996FDOQ36996

Author name not available (Why is that?)

Cited In (4)

• Combining Model Checking and Data-Flow Analysis
• Alternating Control Flow Reconstruction
• Model-Checking HyperLTL for Pushdown Systems
• Refinement-Based CFG Reconstruction from Unstructured Programs

This page was built for software: Jakstab