Published “Proving the correctness of reactive systems using sized types” in Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 — cited 190 times.
- #crossref
- #research
- #work
Published “Proving the correctness of reactive systems using sized types” in Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 — cited 190 times.
Captured 2026-08-17 from Crossref. The archived copy is preserved so this citation survives link rot.