(1 - 8 von 9
)
VSTTE : 14th International Conference on Verified Softwarewww.wikicfp.com › cfp › servlet › event.showcfp
www.wikicfp.com
Facebook · Twitter · LinkedIn · Google. Conference Series : Verified Software: Theories, Tools, ... Yuepeng Wang (Simon Fraser University, Canada)
Four CSE co-authored papers presented at PLDI 2021cse.engin.umich.edu › stories › four-cse-co-authore...
cse.engin.umich.edu
— Shankara Pailoor (University of Texas at Austin), Yuepeng Wang (University of Pennsylvania), Xinyu Wang (University of Michigan), ...
sortiert nach Relevanz / Datum