Skip to content
cs-conference-ranking.org

Program Verification: A 70+-Year History.

Moshe Y. Vardi

VenueCICSoft
Year2022
ProceedingsICSOFT
DBLP recordconf/icsoft/Vardi22 ↗

Browse the full ICSoft paper archive.