Inproceedings,

Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis.

, , , , and .
SAS, volume 9291 of Lecture Notes in Computer Science, page 252-274. Springer, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews