Vol-3428⫷ Vol-3429 ⫸Vol-3430
urn:nbn:de:0074-3429-0


Vol-3429/paper13⫷Vol-3429/short7⫸Vol-3429/short9

Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems