Lift

swMATH36775MaRDI QIDQ52477FDOQ52477

Author name not available (Why is that?)

Source code repository: https://github.com/lift/framework

Cited In (1)

• Ideal Abstractions for Well-Structured Transition Systems

This page was built for software: Lift