Advanced control‐flow and concurrency in C∀
Article in Software Practice and Experience (December 2020)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Article in Software Practice and Experience (December 2020)
Article in Electronic Proceedings in Theoretical Computer Science (October 2018)
Article in Software Practice and Experience (August 2018)