4,332 followers
Really great venue! Nominate someone to be on the PC. My first paper in CAV was on mu-calculus. https://t.co/2cXcCVzANr https://t.co/FCXx4Jskf2
Really great venue! Nominate someone to be on the PC. My first paper in CAV was on mu-calculus. https://t.co/2cXcCVzANr https://t.co/FCXx4Jskf2