%0 Conference Paper %1 conf/popl/HughesPS96 %A Hughes, John %A Pareto, Lars %A Sabry, Amr %B POPL %D 1996 %E Boehm, Hans-Juergen %E Jr., Guy L. Steele %I ACM Press %K dblp %P 410-423 %T Proving the Correctness of Reactive Systems Using Sized Types. %U http://dblp.uni-trier.de/db/conf/popl/popl96.html#HughesPS96 %@ 0-89791-769-3

@inproceedings{conf/popl/HughesPS96, added-at = {2022-03-16T00:00:00.000+0100}, author = {Hughes, John and Pareto, Lars and Sabry, Amr}, biburl = {https://www.bibsonomy.org/bibtex/2c6da28d54526a46aaba534e2d83ed509/dblp}, booktitle = {POPL}, crossref = {conf/popl/1996}, editor = {Boehm, Hans-Juergen and Jr., Guy L. Steele}, ee = {https://doi.org/10.1145/237721.240882}, interhash = {21c8f99eb4cc14c313077cc11827a9a3}, intrahash = {c6da28d54526a46aaba534e2d83ed509}, isbn = {0-89791-769-3}, keywords = {dblp}, pages = {410-423}, publisher = {ACM Press}, timestamp = {2024-04-10T08:57:20.000+0200}, title = {Proving the Correctness of Reactive Systems Using Sized Types.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl96.html#HughesPS96}, year = 1996 }