satyendrabanjare / plt-formal-methods-resources Goto Github PK
View Code? Open in Web Editor NEWCurated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
Home Page: https://satyendrabanjare.com/plt-formal-methods-resources