Title: Runtime-checked automated programming for chaincode development  
Author: Imre Kocsis Mar 15, 2023
Last Changed by: Min Yu Feb 02, 2024
Tiny Link: (useful for email) https://wiki.hyperledger.org/x/_JXQB
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: 2023 Projects
Children (1)
    Page: Project Plan- Runtime-checked automated programming for chaincode development
Labels
Global Labels (2)
Recent Changes
Time Editor  
Feb 02, 2024 15:10 Min Yu View Changes
Feb 01, 2024 23:20 Min Yu View Changes
Jan 11, 2024 20:30 Min Yu View Changes
Jun 13, 2023 15:41 Min Yu View Changes
May 17, 2023 15:58 Min Yu  
Outgoing Links
External Links (3)
    mailto:kocsis.imre@vik.bme.hu
    https://en.wikipedia.org/wiki/Runtime_verification
    mailto:bpeter@edu.bme.hu