sf ma: UTXO with Multi-asset Support - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Manuel M. T. Chakravarty, James Chapman 0001, Kenneth Mackenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner. sf ma: UTXO with Multi-asset Support. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III. Volume 12478 of Lecture Notes in Computer Science, pages 112-130, Springer, 2020. [doi]

This author has not been identified. Look up 'Manuel M. T. Chakravarty' in GoogleThis author has not been identified. It may be one of the following persons:

James Chapman

Look up 'James Chapman 0001' in GoogleThis author has not been identified. Look up 'Kenneth Mackenzie' in GoogleThis author has not been identified. Look up 'Orestis Melkonian' in GoogleThis author has not been identified. Look up 'Jann Müller' in GoogleThis author has not been identified. Look up 'Michael Peyton Jones' in GoogleThis author has not been identified. Look up 'Polina Vinogradova' in GoogleThis author has not been identified. It may be one of the following persons:

Philip Wadler

Look up 'Philip Wadler' in GoogleThis author has not been identified. Look up 'Joachim Zahnentferner' in Google

runs on WebDSL