LOPSTR
Community #203
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
https://www.cs.man.ac.uk/~kung-kiu/lopstr/
United States · California · Technology → Hardware
Thumb up · 0