Papers We Love · @paperswelove
396 followers · 160 posts · Server mstdn.io"Computer-aided Concurrent Programming" by Roopsha Samanta (@roopshasamanta) #PWLConf 2018 - https://buff.ly/2q0S19s
#concurrency #programsynthesis #temporallogic #softwaredevelopment
#pwlconf #concurrency #programsynthesis #temporallogic #softwaredevelopment
Last updated 6 years ago