K Framework, compilers, formal verification
Company:@runtimeverification, @kframeworkLocation:Edinburgh
Baltoli doesn’t have any followers yet.
