HOMER

swMATH13321MaRDI QIDQ25236FDOQ25236

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-02658-4_51

Cited In (6)

• Static Analysis
• HECTOR
• C-SHORe
• GTRECS2
• A fragment of ML decidable by visibly pushdown automata
• C-SHORe: a collapsible approach to higher-order verification

This page was built for software: HOMER