Cover von Formally Specifying Contract Optimizations with Bisimulations in Coq opens in new tab

Formally Specifying Contract Optimizations with Bisimulations in Coq

Year: 2025
Media group: OASICS

Details

Search for this author
Year: 2025
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 11:1-11:13
Participating parties: Search for this character Sorensen, Derek
Media group: OASICS