Proving the correctness of reactive systems using sized types Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Hughes, John
Pareto, Lars
Sabry, Amr

status

published

publication date

1996

published in

Conference Record of the Annual ACM Symposium on Principles of Programming Languages Journal

presented at event

the 23rd ACM SIGPLAN-SIGACT symposium Conference