SIMP

swMATH9936MaRDI QIDQ21915FDOQ21915

Author name not available (Why is that?)

Cited In (2)

• Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
• Specialization with Constrained Generalization for Software Model Checking

This page was built for software: SIMP