C-SHORe

swMATH13319MaRDI QIDQ25234FDOQ25234

Author name not available (Why is that?)

Described by source

• C-SHORe

Cited In (5)

• Title not available (Why is that?)
• Higher-Order Model Checking in Direct Style
• Title not available (Why is that?)
• Typing Weak MSOL Properties
• A type-directed abstraction refinement approach to higher-order model checking

This page was built for software: C-SHORe