Formal specification and verification, algorithmic verification techniques,

Abstraction techniques, equational abstractions in the context of abstract data types, abstractions for multi-valued logics

List of Page on the DBLP server.