![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Towards requirements based testing of Cardano smart contracts
![]() Towards requirements based testing of Cardano smart contractsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact nobody. This talk has been canceled/deleted This talk is part of the Isaac Newton Institute Seminar Series series. This talk is included in these lists:This talk is not included in any other list Note that ex-directory lists are not shown. |
Other listsDELPH-IN Summit Open Session Behavioural and Clinical Neuroscience Seminars The Centre For Financial Analysis & PolicyOther talksNodal curves and ALE spaces NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability Verifying a Concurrent Hypervisor in C++ Grand Rounds - QICG/Vetsafe The Parke-Taylor formula in higher-dimensions Statistics Clinic Summer 2024 IV |