Semantical Lifting: Programs, Digital Twins, CorrectnessDate: January 29, 2024The slides for this tutorial on semantic lifting are available here.Share on Twitter Facebook LinkedIn Previous Next
