Inproceedings,

Checking Several Requirements at once by CEGAR.

, and .
Ershov Memorial Conference, volume 9609 of Lecture Notes in Computer Science, page 218-232. Springer, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews