Coconut: Typestates for Embedded Systems.

Arwa Hameed Alsubhi, Ornela Dardha

Browse the full Coordination paper archive.