Vol-372⫷ Vol-373 ⫸Vol-374
urn:nbn:de:0074-373-0


Vol-373/paper-1⫸Vol-373/paper-2
Alessandro Armando

Model Checking: New Challenges and Opportunities for Automated Reasoning (invited talk)