Call for Papers – LPAR 2020
23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A sharing platform for the Computer-Aided Verification community
A sharing platform for the Computer-Aided Verification community
23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning