# content
Mechanical translation from COBOL to Kotlin using formal methods (via jmillikin) — discussion

#formalmethods #kotlin