Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.

1
posts
with
269
views
212profile views Browse  My Posts »
macekondStudent, PhD
Czech Technical University
macekond
FCA
2005
Springer
135views Formal Methods» more  FCA 2005»
10 years 6 months ago
Concept Lattices in Software Analysis
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
Gregor Snelting
books