Certifying Derivation of State Machines from Coroutines

Bibliographic Details
Main Authors:	Ikebuchi, Mirai, Erbsen, Andres, Chlipala, Adam
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	ACM 2022
Online Access:	https://hdl.handle.net/1721.1/146382

Internet

https://hdl.handle.net/1721.1/146382