SMT for state-based formal methods: the ASM case study (2017)

Timeline for Logic, λ-Calculus, and Programming Language Theory (2012)