Robuta

https://profs.info.uaic.ro/vlad.craciun/publication/circular-coinduction-a-proof-theoretical-foundation Circular Coinduction -- A Proof Theoretical Foundation - Formal Methods in Software Engineering theoretical foundation formal methods circular coinduction proof