::
|
tags ·
relations ·
groups ·
popular
|
help · blog · about |
| login · register |
| Authors: | Gregor Snelting and Frank Tip |
| URL: | http://dblp.uni-trier.de/db/journals/toplas/toplas22.html#SneltingT00 |
| Tags: | analysis class concept engineering fca formal hierarchies se software |