Inproceedings,

Checking Conservativity with Hets.

, , and .
CALCO, volume 8089 of Lecture Notes in Computer Science, page 315-321. Springer, (2013)

Meta data

Tags

Users

  • @tillmo
  • @dblp

Comments and Reviews